Tests and Proofs  7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /  [electronic resource] : 
edited by Margus Veanes, Luca Vigaṇ. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (X, 233 p. 50 ill.) 
 - Lecture Notes in Computer Science,  7942  0302-9743 ; .
<br/><br/>Incremental Refinement Checking for Test Case Generation -- Time for Mutants - Model-Based Mutation Testing with Timed Automata -- Model-Based Testing for Verification Back-Ends -- A Metric for Testing Program Verification Systems -- Test Program Generation for a Microprocessor: A Case-Study -- A Declarative Debugger for Sequential Erlang Programs -- Initiating a Benchmark for UML and OCL Analysis Tools -- Speeding Up Algorithmic Debugging Using Balanced Execution Trees -- Generating Test Suites with Augmented Dynamic Symbolic Execution -- Divergent Quiescent Transition Systems. 
<br/><br/><label>ISBN: </label>9783642389160 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer programming.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.<br/>Mathematical logic.<br/>Computer simulation.