Dirk Beyer 0001, Chantal Keller
Proceedings of the 13th International Conference on Tests and Proofs
TAP, 2019.

@proceedings{TAP-2019,
	doi           = "10.1007/978-3-030-31157-5",
	editor        = "Dirk Beyer 0001 and Chantal Keller",
	isbn          = "['978-3-030-31156-8', '978-3-030-31157-5']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 13th International Conference on Tests and Proofs}",
	volume        = 11823,
	year          = 2019,
}

Contents (12 items)

TAP-2019-0002JPW #approximate #hardware #question #verification

When Are Software Verification Results Valid for Approximate Hardware? (TI0, MCJ, FP, HW), pp. 3–20.

TAP-2019-CavalcantiBHL #csp #testing #using

Testing Robots Using CSP (AC, JB, RMH, RL), pp. 21–38.

TAP-2019-KapusNC #constraints #execution #integer #question #symbolic computation

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? (TK, MN, CC), pp. 41–54.

TAP-2019-LavillonniereMC #algorithm #automation #formal method #generative #performance #search-based #testing

Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods (EL, DM, DC0), pp. 55–63.

TAP-2019-BosT #testing

Coverage-Based Testing with Symbolic Transition Systems (PvdB, JT), pp. 64–82.

TAP-2019-OliveiraMDM #modelling #named #testing

BTestBox: A Tool for Testing B Translators and Coverage of B Models (DdAO, VMJ, DD, MAM), pp. 83–92.

TAP-2019-AichernigPSW #case study #learning #predict #testing

Predicting and Testing Latencies with Deep Learning: An IoT Case Study (BKA, FP, RS, AW), pp. 93–111.

TAP-2019-PetrenkoA #communication #learning #state machine

Learning Communicating State Machines (AP, FA), pp. 112–128.

TAP-2019-AndreAGR #abstraction #automaton #testing

Repairing Timed Automata Clock Guards through Abstraction and Testing (ÉA, PA, AG, MR), pp. 129–146.

TAP-2019-HuraultQ #algorithm #process #proving

Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ + (AH, PQ), pp. 147–166.

TAP-2019-RoblesKPRG #proving #specification #testing

Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties (VR, NK, VP, LR, PLG), pp. 167–185.

TAP-2019-AngelisFPPP #for free #generative #testing

Property-Based Test Case Generators for Free (EDA, FF, AP, AP, MP), pp. 186–206.