Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018)

• Record Type: Book
• Other Titles: TAP 2018
• Further Information: Note: Catherine Dubois, Burkhart Wolff (eds.).
• Editors: Dubois, Catherine; Wolff, Burkhart, 1962-
• Other Names: TAP (Conference), 12th; STAF (Federation of conferences)
• Contents: Tests from Witnesses: Execution-Based Validation of Verification Results -- An Approximation-based Approach for the Random Exploration of large models -- Static and Dynamic Verification of Relational Properties on Self-Composed C Code -- Under-Approximation Generation Driven by Relevance Predicates and variants -- Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties -- Tactic Program-based Testing and Bounded Verification in Isabelle/HOL -- Verification Coverage for Combining Test and Proof -- Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report -- Formalizing (Web) Standards: An Application of Test and Proof.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xiv, 185 pages), illustrations
• 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; Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Systems and Data Security; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; The Computing Profession; Computers -- Programming Languages -- General; Computers -- Security -- General; Computers -- Programming -- General; Mathematics -- Logic; Computers -- General; Programming & scripting languages: general; Computer security; Computer programming / software development; Mathematical theory of computation; Information technology: general issues; Software engineering; Computer security; Logic design; Computer industry; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319929941; 3319929941
• Related ISBNs: 9783319929934
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed June 20, 2018).
• 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.