A mutation analysis tool for Java programs (English)
National licence
- New search for: Chevalley, P.
- New search for: Thévenod-Fosse, P.
- New search for: Chevalley, P.
- New search for: Thévenod-Fosse, P.
In:
International Journal on Software Tools for Technology Transfer
;
5
, 1
;
90-103
;
2002
- Article (Journal) / Electronic Resource
-
Title:A mutation analysis tool for Java programs
-
Contributors:Chevalley, P. ( author ) / Thévenod-Fosse, P. ( author )
-
Published in:International Journal on Software Tools for Technology Transfer ; 5, 1 ; 90-103
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin/Heidelberg
-
Publication date:2002-12-17
-
Size:14 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 5, Issue 1
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Introductory paper: scalability aspects of validationMargaria, Tiziana / Yi, Wang et al. | 2003
- 4
-
Satisfiability checking using Boolean Expression DiagramsWilliams, Poul F. / Andersen, Henrik R. / Hulgaard, Henrik et al. | 2002
- 15
-
A symbolic manipulator for automated verification of reactive systems with heterogeneous data typesYavuz-Kahveci, Tuba / Bultan, Tevfik et al. | 2002
- 34
-
Finding feasible abstract counter-examplesPăsăreanu, Corina S. / Dwyer, Matthew B. / Visser, Willem et al. | 2002
- 49
-
Boolean and Cartesian abstraction for model checking C programsBall, Thomas / Podelski, Andreas / Rajamani, Sriram K. et al. | 2002
- 59
-
Automated test generation from timed automataNielsen, Brian / Skou, Arne et al. | 2003
- 78
-
Compositional message sequence chartsGunter, Elsa L. / Muscholl, Anca / Peled, Doron et al. | 2002
- 90
-
A mutation analysis tool for Java programsChevalley, P. / Thévenod-Fosse, P. et al. | 2002