Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. (2017)

• Record Type: Book
• Further Information: Note: Edited by Sebastian Gabmeyer, Einar Broch Johnsen.
• Editors: Gabmeyer, Sebastian; Johnsen, Einar Broch
• Other Names: TAP (Conference), 11th
• Contents: Abstraction Refinement for the Analysis of Software Product Lines -- Hybrid Information Flow Analysis for Real-World C Code -- Symbolic Execution of Transition Systems with Function Summaries -- Unit Testing of Database-Driven Java Enterprise Edition Applications -- Model-Based Testing of Probabilistic Systems with Stochastic Time -- Test Suite Reduction in Idempotence Testing of Infrastructure as Code -- Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms -- Skolem Function Continuation for Quantified Boolean Formulas -- WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions under Load Conditions -- Testing a Saturation-Based Theorem Prover: Experiences and Challenges.
• Publisher Details: Cham : Springer
• Publication Date: 2017
• Extent: 1 online resource
• Subjects: 005.1; Computer science; Computer science -- Congresses; Computer organization -- Congresses; Computer programming -- Congresses; Software engineering -- Congresses; Computer logic -- Congresses; Computer-aided engineering -- Congresses; Computer-aided engineering; Computer logic; Computer organization; Computer programming; Computer science; Software engineering; Computers -- Hardware -- General; Computers -- Programming -- General; Computers -- Intelligence (AI) & Semantics; Computers -- CAD-CAM; Computer networking & communications; Computer programming / software development; Artificial intelligence; Computer-aided design (CAD); Software engineering; Computer network architectures; Logic design; Artificial intelligence; Computer aided design; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319614670; 3319614673
• Related ISBNs: 9783319614663; 3319614665
• 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.