Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings /: 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings. (2016)

• Record Type: Book
• Other Titles: TAP 2016
• Further Information: Note: Bernhard K. Aichernig, Carlo A. Furia (eds.).
• Editors: Aichernig, Bernhard K, 1969-; Furia, Carlo A, 1979-
• Other Names: TAP (Conference), 10th; STAF (Federation of conferences)
• Contents: Using Formal Methods for Verification and Validation in Railway -- Monadic Sequence Testing and Explicit Test-Refinements -- Advances in Property-Based Testing for alphaProlog -- Tests and Proofs for Enumerative Combinatorics -- Classifying Test Suite Effectiveness via Model Inference and ROBBDs -- Lighweight Symbolic Verification of Graph Transformations with Off-The-Shelf Hardware Model Checkers -- Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification -- Your Proof Fails? Testing Helps to Find the Reason -- Classifying Bugs with Interpolants -- Debugging meets testing in Erlang -- Combining Dynamic and Static Analysis to help develop Correct Graph Transformations -- Automatic predicate testing in formal certification. .
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource
• Subjects: 005.1/4; Computer science; Computer software -- Testing -- Congresses; Computer software -- Verification -- Congresses; Software engineering -- Congresses; Computer software -- Testing; Computer software -- Verification; Software engineering; Computers -- Programming -- General; Mathematics -- Logic; Computers -- Programming Languages -- General; Computers -- Computer Simulation; Computer programming / software development; Mathematical theory of computation; Programming & scripting languages: general; Computer modelling & simulation; Software engineering; Logic design; Computer simulation; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings; Conference papers and proceedings; Congresses
• Languages: English
• ISBNs: 9783319411354; 3319411357; 3319411349; 9783319411347
• Related ISBNs: 9783319411347
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.