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
 

Publications Publikationen

Results 1-5 of 5 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Artho, Cyrille ; Seidl, Martina ; Biere, Armin Model-Based Testing for Verification Back-EndsKonferenzbeitrag Inproceedings 2013
2Pötzl, Daniel ; Holzer, Andreas Solving Constraints for Generational SearchKonferenzbeitrag Inproceedings 2013
3Reger, Giles ; Suda, Martin ; Voronkov, Andrei Testing a Saturation-Based Theorem Prover: Experiences and ChallengesKonferenzbeitrag Inproceedings 2017
4Mijatov, Stefan ; Mayerhofer, Tanja ; Langer, Philip ; Kappel, Gerti Testing Functional Requirements in UML Activity DiagramsKonferenzbeitrag Inproceedings 2015
5Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Scenario-Based Testing of UML DiagramsKonferenzbeitrag Inproceedings 2012