Tests and Proofs
Book title Buchtitel
Tests and Proofs
ISBN
978-3-642-38915-3
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
10375 / Lecture Notes in Computer Science
DOI
10.1007/978-3-642-38916-0
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
7942
Results 1-5 of 5 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Artho, Cyrille ; Seidl, Martina ; Biere, Armin | Model-Based Testing for Verification Back-Ends | Konferenzbeitrag Inproceedings  | 2013 | |
| 2 | Pötzl, Daniel ; Holzer, Andreas | Solving Constraints for Generational Search | Konferenzbeitrag Inproceedings | 2013 | |
| 3 | Reger, Giles ; Suda, Martin ; Voronkov, Andrei | Testing a Saturation-Based Theorem Prover: Experiences and Challenges | Konferenzbeitrag Inproceedings | 2017 | |
| 4 | Mijatov, Stefan ; Mayerhofer, Tanja ; Langer, Philip ; Kappel, Gerti | Testing Functional Requirements in UML Activity Diagrams | Konferenzbeitrag Inproceedings | 2015 | |
| 5 | Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel | Towards Scenario-Based Testing of UML Diagrams | Konferenzbeitrag Inproceedings | 2012 |