TAP 2019: 13TH INTERNATIONAL CONFERENCE ON TESTS AND PROOFS

A
A. Musicante, Martin	BTestBox - A Tool for Testing B Translators and Coverage of B Models
Aichernig, Bernhard K.	Predicting and Testing Latencies with Deep Learning: An IoT Case Study
André, Étienne	Repairing Timed-Automata Clock Guards through Abstraction and Testing
Arcaini, Paolo	Repairing Timed-Automata Clock Guards through Abstraction and Testing
Avellaneda, Florent	Learning Communicating State Machines
C
Cadar, Cristian	Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
Cavalcanti, Ana	RoboStar Technology - Testing in Robotics Using Process Algebra
Cousineau, Denis	Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods
D
De Angelis, Emanuele	Property-Based Test-Case Generators for Free
de Azevedo Oliveira, Diego	BTestBox - A Tool for Testing B Translators and Coverage of B Models
Déharbe, David	BTestBox - A Tool for Testing B Translators and Coverage of B Models
F
Fioravanti, Fabio	Property-Based Test-Case Generators for Free
G
Gargantini, Angelo	Repairing Timed-Automata Clock Guards through Abstraction and Testing
H
Hurault, Aurélie	Proving a Non-Blocking Algorithm for Process Renaming with TLA+
K
Kapus, Timotej	Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
Kosmatov, Nikolai	Tame Your Annotations with MetAcsl: Specifying, Testing, and Proving High-Level Properties
L
Lavillonnière, Eric	Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods
Le Gall, Pascale	Tame Your Annotations with MetAcsl: Specifying, Testing, and Proving High-Level Properties
M
Medeiros Jr, Valério Gutemberg	BTestBox - A Tool for Testing B Translators and Coverage of B Models
Mentré, David	Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods
N
Nowack, Martin	Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
P
Palacios, Adrian	Property-Based Test-Case Generators for Free
Pernkopf, Franz	Predicting and Testing Latencies with Deep Learning: An IoT Case Study
Petrenko, Alexandre	Learning Communicating State Machines
Pettorossi, Alberto	Property-Based Test-Case Generators for Free
Prevosto, Virgile	Tame Your Annotations with MetAcsl: Specifying, Testing, and Proving High-Level Properties
Proietti, Maurizio	Property-Based Test-Case Generators for Free
Q
Queinnec, Philippe	Proving a Non-Blocking Algorithm for Process Renaming with TLA+
R
Radavelli, Marco	Repairing Timed-Automata Clock Guards through Abstraction and Testing
Rilling, Louis	Tame Your Annotations with MetAcsl: Specifying, Testing, and Proving High-Level Properties
Robles, Virgile	Tame Your Annotations with MetAcsl: Specifying, Testing, and Proving High-Level Properties
S
Schumi, Richard	Predicting and Testing Latencies with Deep Learning: An IoT Case Study
T
Tretmans, Jan	Coverage-Based Testing with Symbolic Transition Systems
V
van den Bos, Petra	Coverage-Based Testing with Symbolic Transition Systems
W
Wehrheim, Heike	Extracting Unverified Program Parts from Software Verification Runs
Wurm, Andreas	Predicting and Testing Latencies with Deep Learning: An IoT Case Study

Disclaimer | Powered by EasyChair Smart Program