Tests and Proofs
-15%
portes grátis
Tests and Proofs
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Furia, Carlo A.; Aichernig, Bernhard K.
Springer International Publishing AG
06/2016
199
Mole
Inglês
9783319411347
15 a 20 dias
3343
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal methods;machine learning;model checking;programming techniques;verification;declarative debugging;formal languages;Isabelle/HOL;logic programming;mathematical logic;programming languages;semantics;simulation and modeling;software engineering;software testing;static analysis;symbolic execution;testing;theorem proving
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal methods;machine learning;model checking;programming techniques;verification;declarative debugging;formal languages;Isabelle/HOL;logic programming;mathematical logic;programming languages;semantics;simulation and modeling;software engineering;software testing;static analysis;symbolic execution;testing;theorem proving
