Tests and proofs 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	TAP (VerfasserIn), STAF (VerfasserIn)
Weitere Verfasser:	Kovács, Laura (HerausgeberIn), Meinke, Karl (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2022
Schriftenreihe:	Lecture notes in computer science 13361
Schlagworte:	Software engineering > Computer software > Testing > Konferenzschrift > Softwaretest > Mathematische Logik > Model Checking
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
REACH on Register Automata via History Independence	2022	Dierl, Simon
BDDL: A Type System for Binary Decision Diagrams	2022	Lembachar, Yousra
Fuzzing and Delta Debugging And-Inverter Graph Verification Tools	2022	Kaufmann, Daniela
Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing	2022	Marmsoler, Diego
Automatic Test-Case Generation with CoVeriTest (Extended Abstract)	2022	Jakobs, Marie-Christine
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes	2022	Mouzarani, Maryam
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction	2022	Nagashima, Yutaka