E-Book, Englisch, Band 4899, 267 Seiten, eBook
Yorav Hardware and Software: Verification and Testing
2008
ISBN: 978-3-540-77966-7
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
E-Book, Englisch, Band 4899, 267 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-77966-7
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Invited Talks.- Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless.- Scaling Commercial Verification to Larger Systems.- From Hardware Verification to Software Verification: Re-use and Re-learn.- Where Do Bugs Come from?.- HVC Award.- Symbolic Execution and Model Checking for Testing.- Hardware Verification.- On the Characterization of Until as a Fixed Point Under Clocked Semantics.- Reactivity in SystemC Transaction-Level Models.- Model Checking.- Verifying Parametrised Hardware Designs Via Counter Automata.- How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.- Dynamic Hardware Verification.- Constraint Patterns and Search Procedures for CP-Based Random Test Generation.- Using Virtual Coverage to Hit Hard-To-Reach Events.- Merging Formal and Testing.- Test Case Generation for Ultimately Periodic Paths.- Dynamic Testing Via Automata Learning.- Formal Verification for Software.- On the Architecture of System Verification Environments.- Exploiting Shared Structure in Software Verification Conditions.- Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.- A Complete Bounded Model Checking Algorithm for Pushdown Systems.- Software Testing.- Locating Regression Bugs.- The Advantages of Post-Link Code Coverage.- GenUTest: A Unit Test and Mock Aspect Generation Tool.
