Description |
1 online resource |
Series |
Lecture notes in computer science, 0302-9743 ; 7942 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7942.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
Incremental Refinement Checking for Test Case Generation / Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele -- Time for Mutants -- Model-Based Mutation Testing with Timed Automata / Bernhard K. Aichernig, Florian Lorber, Dejan Ničković -- Model-Based Testing for Verification Back-Ends / Cyrille Artho, Armin Biere, Martina Seidl -- A Metric for Testing Program Verification Systems / Bernhard Beckert, Thorsten Bormer, Markus Wagner -- Test Program Generation for a Microprocessor / Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi -- A Declarative Debugger for Sequential Erlang Programs / Rafael Caballero, Enrique Martin-Martin, Adrián Riesco -- Initiating a Benchmark for UML and OCL Analysis Tools / Martin Gogolla, Fabian Büttner, Jordi Cabot -- Speeding Up Algorithmic Debugging Using Balanced Execution Trees / David Insa, Josep Silva, Adrián Riesco -- Generating Test Suites with Augmented Dynamic Symbolic Execution / Konrad Jamrozik, Gordon Fraser, Nikolai Tillman, Jonathan de Halleux -- A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper / Nikolai Kosmatov, Virgile Prevosto, Julien Signoles -- Evaluation of ASLan Mutation Operators / Johan Oudinet, Alberto Calvi, Matthias Büchler -- Solving Constraints for Generational Search / Daniel Pötzl, Andreas Holzer -- Divergent Quiescent Transition Systems / Willem G.J. Stokkink, Mark Timmer, Mariëlle I.A. Stoelinga |
Summary |
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing |
Analysis |
Computer science |
|
Software engineering |
|
Logic design |
|
Computer simulation |
|
Programming Techniques |
|
Logics and Meanings of Programs |
|
Mathematical Logic and Formal Languages |
|
Programming Languages, Compilers, Interpreters |
|
Simulation and Modeling |
|
computerwetenschappen |
|
computer sciences |
|
programmeertalen |
|
programming languages |
|
programmeren |
|
programming |
|
simulatiemodellen |
|
simulation models |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Notes |
International conference proceedings |
|
Includes author index |
Bibliography |
Includes bibliographical references and index |
Subject |
Computer software -- Testing -- Congresses
|
|
Computer software -- Verification -- Congresses
|
|
Software engineering -- Congresses
|
|
Software Validation
|
|
Software
|
|
software.
|
|
Computer software -- Testing
|
|
Computer software -- Verification
|
|
Software engineering
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Veanes, Margus.
|
|
Viganò, Luca.
|
ISBN |
9783642389160 |
|
3642389163 |
|
3642389155 |
|
9783642389153 |
|