Automated Detection of Discontinuities in Models Inferred from Execution Traces

Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)

Nguyen, Duy Cu; Marchetto, Alessandro; Tonella, Paolo

2011 • 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops

Permalink
https://hdl.handle.net/10993/10710

main.pdf

Publisher postprint (113.19 kB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

Author, co-author :

Nguyen, Duy Cu ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Marchetto, Alessandro

Tonella, Paolo

Language :

English

Title :

Automated Detection of Discontinuities in Models Inferred from Execution Traces

Publication date :

March 2011

Event name :

2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops

Event date :

21-25 March 2011

European Projects :

FP7 - 257574 - FITTEST - Future Internet Testing

Funders :

CE - Commission Européenne [BE]

Available on ORBilu :

since 13 November 2013

Number of views

65 (2 by Unilu)

Number of downloads

0 (0 by Unilu)