Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Blanchette, Jasmin Christian (Επιμελητής έκδοσης), Kosmatov, Nikolai (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Σειρά: Lecture Notes in Computer Science, 9154
• Θέματα: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer simulation.; Computer Science.; Software Engineering.; Programming Techniques.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.; Simulation and Modeling.

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were careful...

Πίνακας περιεχομένων:

• Abstracts of Invited Talks
• Testing, Fixing and Proving with Contracts
• Mind the Gap: At the Crossroads of Design, Implementation and Foundations
• Reasoning about C Concurrency and Compilers
• Accepted Papers
• Scalable incremental test-case generation from large behavior models
• Test Case Generation for Concurrent Systems Using Event Structures
• Fast Model-Based Fault Localisation with Test Suites
• Case Study: Automatic test case generation for a secure cache Implementation
• Verifying Code Generation Tools for the B-Method Using Tests: a Case Study
• Software Validation via Model Animation
• Sequential generation of structured arrays and its deductive verification
• Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study
• A constraint optimization model for analysis of telecommunication protocol logs
• Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy
• Testing Functional Requirements in UML Activity Diagrams
• Coverage of OCL Operation Specifications and Invariants.