Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/tap:"
download as .bib file
@inproceedings{DBLP:conf/tap/BenajminS23,
author = {Thibaut Benajmin and
Julien Signoles},
title = {Abstract Interpretation of Recursive Logic Definitions for Efficient
Runtime Assertion Checking},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {168--186},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/tap/Cimini23,
author = {Matteo Cimini},
title = {Testing Languages with a Languages-as-Databases Approach},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {108--126},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/tap/ClouetAAS23,
author = {Myriam Clouet and
Thibaud Antignac and
Mathilde Arnaud and
Julien Signoles},
title = {Context Specification Language for Formally Verifying Consent Properties
on Models and Code},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {68--93},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/tap/EngelVR23,
author = {Daniel Engel and
Freek Verbeek and
Binoy Ravindran},
title = {{BIRD:} {A} Binary Intermediate Representation for Formally Verified
Decompilation of {X86-64} Binaries},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {3--20},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/tap/GogollaH23,
author = {Martin Gogolla and
Lars Hamann},
title = {Proving Properties of Operation Contracts with Test Scenarios},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {97--107},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/tap/HuraultM23,
author = {Aur{\'{e}}lie Hurault and
Jo{\~{a}}o Marques{-}Silva},
title = {Certified Logic-Based Explainable {AI} - The Case of Monotonic Classifiers},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {51--67},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/tap/KlaiBADO23,
author = {Kais Klai and
Mohamed Taha Bennani and
Jaime Arias and
J{\"{o}}rg Desel and
Hanen Ochi},
title = {Symbolic Observation Graph-Based Generation of Test Paths},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {127--146},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/tap/MonniauxGBL23,
author = {David Monniaux and
L{\'{e}}o Gourdin and
Sylvain Boulm{\'{e}} and
Olivier Lebeltel},
title = {Testing a Formally Verified Compiler},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {40--48},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/tap/NausVSR23,
author = {Nico Naus and
Freek Verbeek and
Marc Schoolderman and
Binoy Ravindran},
title = {Low-Level Reachability Analysis Based on Formal Logic},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {21--39},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/tap/StraussM23,
author = {Megan Strauss and
Stefan Mitsch},
title = {Slow Down, Move Over: {A} Case Study in Formal Verification, Refinement,
and Testing of the Responsibility-Sensitive Safety Model for Self-Driving
Cars},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {14066},
pages = {149--167},
publisher = {Springer},
year = {2023}
}
@proceedings{DBLP:conf/tap/2023,
editor = {Virgile Prevosto and
Cristina Seceleanu},
title = {Tests and Proofs - 17th International Conference, {TAP} 2023, Leicester,
UK, July 18-19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14066},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/tap/DierlH22,
author = {Simon Dierl and
Falk Howar},
title = {Reach on Register Automata via History Independence},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {13361},
pages = {11--30},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/tap/Jakobs22,
author = {Marie{-}Christine Jakobs},
title = {Automatic Test-Case Generation with CoVeriTest (Extended Abstract)},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {13361},
pages = {3--8},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/tap/KaufmannB22,
author = {Daniela Kaufmann and
Armin Biere},
title = {Fuzzing and Delta Debugging And-Inverter Graph Verification Tools},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {13361},
pages = {69--88},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/tap/LembacharRNC22,
author = {Yousra Lembachar and
Ryan Rusich and
Iulian Neamtiu and
Gianfranco Ciardo},
title = {Bddl: {A} Type System for Binary Decision Diagrams},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {13361},
pages = {31--47},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/tap/MarmsolerB22,
author = {Diego Marmsoler and
Achim D. Brucker},
title = {Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {13361},
pages = {106--125},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/tap/MouzaraniKBH22,
author = {Maryam Mouzarani and
Ali Kamali and
Sara Baradaran and
Mahdi Heidari},
title = {A Unit-Based Symbolic Execution Method for Detecting Heap Overflow
Vulnerability in Executable Codes},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {13361},
pages = {89--105},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/tap/Nagashima22,
author = {Yutaka Nagashima},
title = {Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {13361},
pages = {48--66},
publisher = {Springer},
year = {2022}
}
@proceedings{DBLP:conf/tap/2022,
editor = {Laura Kov{\'{a}}cs and
Karl Meinke},
title = {Tests and Proofs - 16th International Conference, {TAP} 2022, Held
as Part of {STAF} 2022, Nantes, France, July 5, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13361},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/tap/AlshmranyABC21,
author = {Kaled M. Alshmrany and
Mohannad Aldughaim and
Ahmed Bhayat and
Lucas C. Cordeiro},
title = {FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities
in {C} Programs},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12740},
pages = {85--105},
publisher = {Springer},
year = {2021}
}
@inproceedings{DBLP:conf/tap/AndreMP21,
author = {{\'{E}}tienne Andr{\'{e}} and
Dylan Marinho and
Jaco van de Pol},
title = {A Benchmarks Library for Extended Parametric Timed Automata},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12740},
pages = {39--50},
publisher = {Springer},
year = {2021}
}
@inproceedings{DBLP:conf/tap/Diner0SS21,
author = {Dominik Diner and
Gordon Fraser and
Sebastian Schweikl and
Andreas Stahlbauer},
title = {Generating Timed {UI} Tests from Counterexamples},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12740},
pages = {53--71},
publisher = {Springer},
year = {2021}
}
@inproceedings{DBLP:conf/tap/Eberhart0KKKHI21,
author = {Clovis Eberhart and
Akihisa Yamada and
Stefan Klikovits and
Shin{-}ya Katsumata and
Tsutomu Kobayashi and
Ichiro Hasuo and
Fuyuki Ishikawa},
title = {Architecture-Guided Test Resource Allocation via Logic},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12740},
pages = {22--38},
publisher = {Springer},
year = {2021}
}
@inproceedings{DBLP:conf/tap/MeinkeK21,
author = {Karl Meinke and
Hojat Khosrowjerdi},
title = {Use Case Testing: {A} Constrained Active Machine Learning Approach},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12740},
pages = {3--21},
publisher = {Springer},
year = {2021}
}
@inproceedings{DBLP:conf/tap/NilizadehLP21,
author = {Amirfarhad Nilizadeh and
Gary T. Leavens and
Corina S. Pasareanu},
title = {Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage
with Valid Inputs},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12740},
pages = {72--84},
publisher = {Springer},
year = {2021}
}
@proceedings{DBLP:conf/tap/2021,
editor = {Fr{\'{e}}d{\'{e}}ric Loulergue and
Franz Wotawa},
title = {Tests and Proofs - 15th International Conference, {TAP} 2021, Held
as Part of {STAF} 2021, Virtual Event, June 21-22, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12740},
publisher = {Springer},
year = {2021}
}
@inproceedings{DBLP:conf/tap/AichernigTW20,
author = {Bernhard K. Aichernig and
Martin Tappler and
Felix Wallner},
title = {Benchmarking Combinations of Learning and Testing Algorithms for Active
Automata Learning},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12165},
pages = {3--22},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/tap/AltisenDJ20,
author = {Karine Altisen and
St{\'{e}}phane Devismes and
Erwan Jahier},
title = {sasa: {A} SimulAtor of Self-stabilizing Algorithms},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12165},
pages = {143--154},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/tap/HartelS20,
author = {Pieter H. Hartel and
Richard Schumi},
title = {Mutation Testing of Smart Contracts at Scale},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12165},
pages = {23--42},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/tap/KamkinKKP20,
author = {Alexander Kamkin and
Alexey Khoroshilov and
Artem Kotsynyak and
Pavel Putro},
title = {Deductive Binary Code Verification Against Source-Code-Level Specifications},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12165},
pages = {43--58},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/tap/KhosrowjerdiNM20,
author = {Hojat Khosrowjerdi and
Hamed Nemati and
Karl Meinke},
title = {Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph
Queries},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12165},
pages = {59--79},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/tap/KolarikR20,
author = {Tom{\'{a}}s Kol{\'{a}}rik and
Stefan Ratschan},
title = {{SAT} Modulo Differential Equation Simulations},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12165},
pages = {80--99},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/tap/Lester20,
author = {Martin Mariusz Lester},
title = {ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive
Fiction Games},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12165},
pages = {169--179},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/tap/LyKLS20,
author = {Dara Ly and
Nikolai Kosmatov and
Fr{\'{e}}d{\'{e}}ric Loulergue and
Julien Signoles},
title = {Verified Runtime Assertion Checking for Memory Properties},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12165},
pages = {100--121},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/tap/MasciM20,
author = {Paolo Masci and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {A Graphical Toolkit for the Validation of Requirements for Detect
and Avoid Systems},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12165},
pages = {155--166},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/tap/PereiraMP20,
author = {Jo{\~{a}}o Carlos Pereira and
Nuno Machado and
Jorge Sousa Pinto},
title = {Testing for Race Conditions in Distributed Systems via {SMT} Solving},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {12165},
pages = {122--140},
publisher = {Springer},
year = {2020}
}
@proceedings{DBLP:conf/tap/2020,
editor = {Wolfgang Ahrendt and
Heike Wehrheim},
title = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
Norway, June 22-23, 2020, Proceedings [postponed]},
series = {Lecture Notes in Computer Science},
volume = {12165},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/tap/0002JPW19,
author = {Tobias Isenberg and
Marie{-}Christine Jakobs and
Felix Pauck and
Heike Wehrheim},
title = {When Are Software Verification Results Valid for Approximate Hardware?},
booktitle = {TAP@FM},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {3--20},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/tap/AichernigPSW19,
author = {Bernhard K. Aichernig and
Franz Pernkopf and
Richard Schumi and
Andreas Wurm},
title = {Predicting and Testing Latencies with Deep Learning: An IoT Case Study},
booktitle = {TAP@FM},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {93--111},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/tap/AndreAGR19,
author = {{\'{E}}tienne Andr{\'{e}} and
Paolo Arcaini and
Angelo Gargantini and
Marco Radavelli},
title = {Repairing Timed Automata Clock Guards through Abstraction and Testing},
booktitle = {TAP@FM},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {129--146},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/tap/AngelisFPPP19,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
Adri{\'{a}}n Palacios and
Alberto Pettorossi and
Maurizio Proietti},
title = {Property-Based Test Case Generators for Free},
booktitle = {TAP@FM},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {186--206},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/tap/BosT19,
author = {Petra van den Bos and
Jan Tretmans},
title = {Coverage-Based Testing with Symbolic Transition Systems},
booktitle = {TAP@FM},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {64--82},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/tap/CavalcantiBHL19,
author = {Ana Cavalcanti and
James Baxter and
Robert M. Hierons and
Raluca Lefticaru},
title = {Testing Robots Using {CSP}},
booktitle = {TAP@FM},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {21--38},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/tap/HuraultQ19,
author = {Aur{\'{e}}lie Hurault and
Philippe Qu{\'{e}}innec},
title = {Proving a Non-blocking Algorithm for Process Renaming with {TLA} +
+},
booktitle = {TAP@FM},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {147--166},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/tap/KapusNC19,
author = {Timotej Kapus and
Martin Nowack and
Cristian Cadar},
title = {Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?},
booktitle = {TAP@FM},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {41--54},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/tap/LavillonniereMC19,
author = {Eric Lavillonni{\`{e}}re and
David Mentr{\'{e}} and
Denis Cousineau},
title = {Fast, Automatic, and Nearly Complete Structural Unit-Test Generation
Combining Genetic Algorithms and Formal Methods},
booktitle = {TAP@FM},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {55--63},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/tap/OliveiraMDM19,
author = {Diego de Azevedo Oliveira and
Val{\'{e}}rio Medeiros Jr. and
David D{\'{e}}harbe and
Martin A. Musicante},
title = {BTestBox: {A} Tool for Testing {B} Translators and Coverage of {B}
Models},
booktitle = {TAP@FM},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {83--92},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/tap/PetrenkoA19,
author = {Alexandre Petrenko and
Florent Avellaneda},
title = {Learning Communicating State Machines},
booktitle = {TAP@FM},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {112--128},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/tap/RoblesKPRG19,
author = {Virgile Robles and
Nikolai Kosmatov and
Virgile Prevosto and
Louis Rilling and
Pascale Le Gall},
title = {Tame Your Annotations with MetAcsl: Specifying, Testing and Proving
High-Level Properties},
booktitle = {TAP@FM},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {167--185},
publisher = {Springer},
year = {2019}
}
@proceedings{DBLP:conf/tap/2019,
editor = {Dirk Beyer and
Chantal Keller},
title = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
Portugal, October 9-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11823},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/tap/0001DLT18,
author = {Dirk Beyer and
Matthias Dangl and
Thomas Lemberger and
Michael Tautschnig},
title = {Tests from Witnesses - Execution-Based Validation of Verification
Results},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {3--23},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/tap/BernardHK18,
author = {Julien Bernard and
Pierre{-}Cyrille H{\'{e}}am and
Olga Kouchnarenko},
title = {An Approximation-Based Approach for the Random Exploration of Large
Models},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {27--43},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/tap/BlatterKGPP18,
author = {Lionel Blatter and
Nikolai Kosmatov and
Pascale Le Gall and
Virgile Prevosto and
Guillaume Petiot},
title = {Static and Dynamic Verification of Relational Properties on Self-composed
{C} Code},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {44--62},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/tap/BruckerH18,
author = {Achim D. Brucker and
Michael Herzberg},
title = {Formalizing (Web) Standards - An Application of Test and Proof},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {159--166},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/tap/Fuchs18,
author = {Andreas Fuchs},
title = {Automated Test Case Generation for Java {EE} Based Web Applications},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {167--176},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/tap/HerdaTB18,
author = {Mihai Herda and
Shmuel S. Tyszberowicz and
Bernhard Beckert},
title = {Using Dependence Graphs to Assist Verification and Testing of Information-Flow
Properties},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {83--102},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/tap/JulliandKMV18,
author = {Jacques Julliand and
Olga Kouchnarenko and
Pierre{-}Alain Masson and
Guillaume Voiron},
title = {Under-Approximation Generation Driven by Relevance Predicates and
Variants},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {63--82},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/tap/Keller18,
author = {Chantal Keller},
title = {Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {103--119},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/tap/LeCSW18,
author = {Viet Hoang Le and
Lo{\"{\i}}c Correnson and
Julien Signoles and
Virginie Wiels},
title = {Verification Coverage for Combining Test and Proof},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {120--138},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/tap/LoulergueBK18,
author = {Fr{\'{e}}d{\'{e}}ric Loulergue and
Allan Blanchard and
Nikolai Kosmatov},
title = {Ghosts for Lists: From Axiomatic to Executable Specifications},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {177--184},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/tap/VorobyovKS18,
author = {Kostyantyn Vorobyov and
Nikolai Kosmatov and
Julien Signoles},
title = {Detection of Security Vulnerabilities in {C} Code Using Runtime Verification:
An Experience Report},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10889},
pages = {139--156},
publisher = {Springer},
year = {2018}
}
@proceedings{DBLP:conf/tap/2018,
editor = {Catherine Dubois and
Burkhart Wolff},
title = {Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse,
France, June 27-29, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10889},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/tap/BaranyS17,
author = {Gerg{\"{o}} Barany and
Julien Signoles},
title = {Hybrid Information Flow Analysis for Real-World {C} Code},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {23--40},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/tap/BoudhibaGGP17,
author = {Imen Boudhiba and
Christophe Gaston and
Pascale Le Gall and
Virgile Prevosto},
title = {Symbolic Execution of Transition Systems with Function Summaries},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {41--58},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/tap/DamianiHL17,
author = {Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Michael Lienhardt},
title = {Abstraction Refinement for the Analysis of Software Product Lines},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {3--20},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/tap/FazekasHSB17,
author = {Katalin Fazekas and
Marijn J. H. Heule and
Martina Seidl and
Armin Biere},
title = {Skolem Function Continuation for Quantified Boolean Formulas},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {129--138},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/tap/FuchsK17,
author = {Andreas Fuchs and
Herbert Kuchen},
title = {Unit Testing of Database-Driven Java Enterprise Edition Applications},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {59--76},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/tap/GerholdS17,
author = {Marcus Gerhold and
Mari{\"{e}}lle Stoelinga},
title = {Model-Based Testing of Probabilistic Systems with Stochastic Time},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {77--97},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/tap/GogollaHDD17,
author = {Martin Gogolla and
Frank Hilken and
Khanh{-}Hoang Doan and
Nisha Desai},
title = {Checking {UML} and {OCL} Model Behavior with Filmstripping and Classifying
Terms},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {119--128},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/tap/IkeshitaIH17,
author = {Katsuhiko Ikeshita and
Fuyuki Ishikawa and
Shinichi Honiden},
title = {Test Suite Reduction in Idempotence Testing of Infrastructure as Code},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {98--115},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/tap/MaalejKJ17,
author = {Afef Jmal Ma{\^{a}}lej and
Moez Krichen and
Mohamed Jma{\"{\i}}el},
title = {WSCLim: {A} Tool for Model-Based Testing of {WS-BPEL} Compositions
Under Load Conditions},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {139--151},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/tap/Reger0V17,
author = {Giles Reger and
Martin Suda and
Andrei Voronkov},
title = {Testing a Saturation-Based Theorem Prover: Experiences and Challenges},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {10375},
pages = {152--161},
publisher = {Springer},
year = {2017}
}
@proceedings{DBLP:conf/tap/2017,
editor = {Sebastian Gabmeyer and
Einar Broch Johnsen},
title = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
Germany, July 19-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10375},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/tap/BruckerW16,
author = {Achim D. Brucker and
Burkhart Wolff},
title = {Monadic Sequence Testing and Explicit Test-Refinements},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {17--36},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/tap/CheneyMP16,
author = {James Cheney and
Alberto Momigliano and
Matteo Pessina},
title = {Advances in Property-Based Testing for {\textbackslash}alpha Prolog},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {37--56},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/tap/DuboisGG16,
author = {Catherine Dubois and
Alain Giorgetti and
Richard Genestier},
title = {Tests and Proofs for Enumerative Combinatorics},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {57--75},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/tap/FelbingerPW16,
author = {Hermann Felbinger and
Ingo Pill and
Franz Wotawa},
title = {Classifying Test Suite Effectiveness via Model Inference and ROBBDs},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {76--93},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/tap/GabmeyerS16,
author = {Sebastian Gabmeyer and
Martina Seidl},
title = {Lightweight Symbolic Verification of Graph Transformation Systems
with Off-the-Shelf Hardware Model Checkers},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {94--111},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/tap/Liu16,
author = {Shaoying Liu},
title = {Testing-Based Formal Verification for Theorems and Its Application
in Software Specification Verification},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {112--129},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/tap/MakhloufTPS16,
author = {Amani Makhlouf and
Hanh Nhi Tran and
Christian Percebois and
Martin Strecker},
title = {Combining Dynamic and Static Analysis to Help Develop Correct Graph
Transformations},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {183--190},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/tap/PetiotKBGJ16,
author = {Guillaume Petiot and
Nikolai Kosmatov and
Bernard Botella and
Alain Giorgetti and
Jacques Julliand},
title = {Your Proof Fails? Testing Helps to Find the Reason},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {130--150},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/tap/PodelskiSW16,
author = {Andreas Podelski and
Martin Sch{\"{a}}f and
Thomas Wies},
title = {Classifying Bugs with Interpolants},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {151--168},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/tap/ReichlFT16,
author = {Klaus Reichl and
Tomas Fischer and
Peter Tummeltshammer},
title = {Using Formal Methods for Verification and Validation in Railway},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {3--13},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/tap/Slama16,
author = {Franck Slama},
title = {Automatic Predicate Testing in Formal Certification - You've only
Proven What You've Said, Not What You Meant!},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {191--198},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/tap/TamaritRMC16,
author = {Salvador Tamarit and
Adri{\'{a}}n Riesco and
Enrique Martin{-}Martin and
Rafael Caballero},
title = {Debugging Meets Testing in Erlang},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {171--180},
publisher = {Springer},
year = {2016}
}
@proceedings{DBLP:conf/tap/2016,
editor = {Bernhard K. Aichernig and
Carlo A. Furia},
title = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
Austria, July 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9762},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/tap/AichernigNT15,
author = {Bernhard K. Aichernig and
Dejan Nickovic and
Stefan Tiran},
title = {Scalable Incremental Test-case Generation from Large Behavior Models},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {1--18},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/tap/AthanasiouLS15,
author = {Konstantinos Athanasiou and
Hern{\'{a}}n Ponce de Le{\'{o}}n and
Stefan Schwoon},
title = {Test Case Generation for Concurrent Systems Using Event Structures},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {19--37},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/tap/BirchFP15,
author = {Geoff Birch and
Bernd Fischer and
Michael R. Poppleton},
title = {Fast Model-Based Fault Localisation with Test Suites},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {38--57},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/tap/BloemHRS15,
author = {Roderick Bloem and
Daniel M. Hein and
Franz R{\"{o}}ck and
Richard Schumi},
title = {Case Study: Automatic Test Case Generation for a Secure Cache Implementation},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {58--75},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/tap/DutleMNB15,
author = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz and
Ricky W. Butler},
title = {Software Validation via Model Animation},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {92--108},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/tap/GenestierGP15,
author = {Richard Genestier and
Alain Giorgetti and
Guillaume Petiot},
title = {Sequential Generation of Structured Arrays and Its Deductive Verification},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {109--128},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/tap/GogollaHHS15,
author = {Martin Gogolla and
Lars Hamann and
Frank Hilken and
Matthias Sedlmeier},
title = {Checking {UML} and {OCL} Model Consistency: An Experience Report on
a Middle-Sized Case Study},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {129--136},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/tap/GrinchteinCP15,
author = {Olga Grinchtein and
Mats Carlsson and
Justin Pearson},
title = {A Constraint Optimisation Model for Analysis of Telecommunication
Protocol Logs},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {137--154},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/tap/HubnerHP15,
author = {Felix H{\"{u}}bner and
Wen{-}ling Huang and
Jan Peleska},
title = {Experimental Evaluation of a Novel Equivalence Class Partition Testing
Strategy},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {155--172},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/tap/MijatovMLK15,
author = {Stefan Mijatov and
Tanja Mayerhofer and
Philip Langer and
Gerti Kappel},
title = {Testing Functional Requirements in {UML} Activity Diagrams},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {173--190},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/tap/MoreiraHDMNM15,
author = {Anamaria Martins Moreira and
Cleverton Hentz and
David D{\'{e}}harbe and
Ernesto Cid Brasil de Matos and
Jo{\~{a}}o Batista de Souza Neto and
Val{\'{e}}rio de Medeiros Jr.},
title = {Verifying Code Generation Tools for the B-Method Using Tests: {A}
Case Study},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {76--91},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/tap/SoekenSD15,
author = {Mathias Soeken and
Julia Seiter and
Rolf Drechsler},
title = {Coverage of {OCL} Operation Specifications and Invariants},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {191--207},
publisher = {Springer},
year = {2015}
}
@proceedings{DBLP:conf/tap/2015,
editor = {Jasmin Christian Blanchette and
Nikolai Kosmatov},
title = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
Italy, July 22-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9154},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/tap/AichernigAJKKSS14,
author = {Bernhard K. Aichernig and
Jakob Auer and
Elisabeth J{\"{o}}bstl and
Robert Korosec and
Willibald Krenn and
Rupert Schlick and
Birgit Vera Schmidt},
title = {Model-Based Mutation Testing of an Industrial Measurement Device},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {1--19},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/AminLR14,
author = {Nada Amin and
K. Rustan M. Leino and
Tiark Rompf},
title = {Computing with an {SMT} Solver},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {20--35},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/ArcainiGR14,
author = {Paolo Arcaini and
Angelo Gargantini and
Elvinia Riccobene},
title = {An Abstraction Technique for Testing Decomposable Systems by Model
Checking},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {36--52},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/BardinCDK14,
author = {S{\'{e}}bastien Bardin and
Omar Chebaro and
Micka{\"{e}}l Delahaye and
Nikolai Kosmatov},
title = {An All-in-One Toolkit for Automated White-Box Testing},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {53--60},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/DiepenbeckKSD14,
author = {Melanie Diepenbeck and
Ulrich K{\"{u}}hne and
Mathias Soeken and
Rolf Drechsler},
title = {Behaviour Driven Development for Tests and Verification},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {61--77},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/Gabmeyer14,
author = {Sebastian Gabmeyer},
title = {Quality Assurance in {MBE} Back and Forth},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {78--81},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/HentschelHB14,
author = {Martin Hentschel and
Reiner H{\"{a}}hnle and
Richard Bubel},
title = {Visualizing Unbounded Symbolic Execution},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {82--98},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/HilkenNGW14,
author = {Frank Hilken and
Philipp Niemann and
Martin Gogolla and
Robert Wille},
title = {Filmstripping and Unrolling: {A} Comparison of Verification Approaches
for {UML} and {OCL} Behavioral Models},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {99--116},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/JannesariKSW14,
author = {Ali Jannesari and
Nico Koprowski and
Jochen Schimmel and
Felix Wolf},
title = {Generating Classified Parallel Unit Tests},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {117--133},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/KahkonenH14,
author = {Kari K{\"{a}}hk{\"{o}}nen and
Keijo Heljanko},
title = {Lightweight State Capturing for Automated Testing of Multithreaded
Programs},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {187--203},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/KampmannGZ14,
author = {Alexander Kampmann and
Juan Pablo Galeotti and
Andreas Zeller},
title = {{JTACO:} Test Execution for Faster Bounded Verification},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {134--141},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/KanigCCGMR14,
author = {Johannes Kanig and
Roderick Chapman and
Cyrille Comar and
J{\'{e}}r{\^{o}}me Guitton and
Yannick Moy and
Emyr Rees},
title = {Explicit Assumptions - {A} Prenup for Marrying Static and Dynamic
Program Verification},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {142--157},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/KosmatovLA14,
author = {Nikolai Kosmatov and
Matthieu Lemerre and
C{\'{e}}line Alec},
title = {A Case Study on Verification of a Cloud Hypervisor by Proof and Structural
Testing},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {158--164},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/KosmatovS14,
author = {Nikolai Kosmatov and
Julien Signoles},
title = {Runtime Assertion Checking and Its Combinations with Static and Dynamic
Analyses - Tutorial Synopsis},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {165--168},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/KurthSW14,
author = {Felix Kurth and
Sibylle Schupp and
Stephan Wei{\ss}leder},
title = {Generating Test Data from a {UML} Activity Using the {AMPL} Interface
for Constraint Solvers},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {169--186},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/PetiotKGJ14,
author = {Guillaume Petiot and
Nikolai Kosmatov and
Alain Giorgetti and
Jacques Julliand},
title = {How Test Generation Helps Software Specification and Deductive Verification
in Frama-C},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {204--211},
publisher = {Springer},
year = {2014}
}
@proceedings{DBLP:conf/tap/2014,
editor = {Martina Seidl and
Nikolai Tillmann},
title = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
UK, July 24-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8570},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/tap/AichernigJK13,
author = {Bernhard K. Aichernig and
Elisabeth J{\"{o}}bstl and
Matthias Kegele},
title = {Incremental Refinement Checking for Test Case Generation},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {1--19},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/tap/AichernigLN13,
author = {Bernhard K. Aichernig and
Florian Lorber and
Dejan Nickovic},
title = {Time for Mutants - Model-Based Mutation Testing with Timed Automata},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {20--38},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/tap/ArthoBS13,
author = {Cyrille Artho and
Armin Biere and
Martina Seidl},
title = {Model-Based Testing for Verification Back-Ends},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {39--55},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/tap/BeckertB013,
author = {Bernhard Beckert and
Thorsten Bormer and
Markus Wagner},
title = {A Metric for Testing Program Verification Systems},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {56--75},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/tap/BruckerFNW13,
author = {Achim D. Brucker and
Abderrahmane Feliachi and
Yakoub Nemouchi and
Burkhart Wolff},
title = {Test Program Generation for a Microprocessor - {A} Case-Study},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {76--95},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/tap/CaballeroMRT13,
author = {Rafael Caballero and
Enrique Martin{-}Martin and
Adri{\'{a}}n Riesco and
Salvador Tamarit},
title = {A Declarative Debugger for Sequential Erlang Programs},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {96--114},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/tap/GogollaBC13,
author = {Martin Gogolla and
Fabian B{\"{u}}ttner and
Jordi Cabot},
title = {Initiating a Benchmark for {UML} and {OCL} Analysis Tools},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {115--132},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/tap/InsaSR13,
author = {David Insa and
Josep Silva and
Adri{\'{a}}n Riesco},
title = {Speeding Up Algorithmic Debugging Using Balanced Execution Trees},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {133--151},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/tap/JamrozikFTH13,
author = {Konrad Jamrozik and
Gordon Fraser and
Nikolai Tillmann and
Jonathan de Halleux},
title = {Generating Test Suites with Augmented Dynamic Symbolic Execution},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {152--167},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/tap/KosmatovPS13,
author = {Nikolai Kosmatov and
Virgile Prevosto and
Julien Signoles},
title = {A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {168--177},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/tap/OudinetCB13,
author = {Johan Oudinet and
Alberto Calvi and
Matthias B{\"{u}}chler},
title = {Evaluation of ASLan Mutation Operators},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {178--196},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/tap/PotzlH13,
author = {Daniel P{\"{o}}tzl and
Andreas Holzer},
title = {Solving Constraints for Generational Search},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {197--213},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/tap/StokkinkTS13,
author = {Willem Gerrit Johan Stokkink and
Mark Timmer and
Mari{\"{e}}lle Stoelinga},
title = {Divergent Quiescent Transition Systems},
booktitle = {TAP@STAF},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {214--231},
publisher = {Springer},
year = {2013}
}
@proceedings{DBLP:conf/tap/2013,
editor = {Margus Veanes and
Luca Vigan{\`{o}}},
title = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
Hungary, June 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7942},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/tap/ArmandoPCMB12,
author = {Alessandro Armando and
Giancarlo Pellegrino and
Roberto Carbone and
Alessio Merlo and
Davide Balzarotti},
title = {From Model-Checking to Automated Testing of Security Protocols: Bridging
the Gap},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {3--18},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/BengoleaAMF12,
author = {Valeria S. Bengolea and
Nazareno Aguirre and
Darko Marinov and
Marcelo F. Frias},
title = {Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test
Suites},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {19--34},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/BroschEGKSTWW12,
author = {Petra Brosch and
Uwe Egly and
Sebastian Gabmeyer and
Gerti Kappel and
Martina Seidl and
Hans Tompits and
Magdalena Widl and
Manuel Wimmer},
title = {Towards Scenario-Based Testing of {UML} Diagrams},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {149--155},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/BruningGHK12,
author = {Jens Br{\"{u}}ning and
Martin Gogolla and
Lars Hamann and
Mirco Kuhlmann},
title = {Evaluating and Debugging {OCL} Expressions in {UML} Models},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {156--162},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/CarlierDG12,
author = {Matthieu Carlier and
Catherine Dubois and
Arnaud Gotlieb},
title = {A First Step in the Design of a Formally Verified Constraint-Based
Testing Tool: FocalTest},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {35--50},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/ChedorJM12,
author = {S{\'{e}}bastien Ch{\'{e}}dor and
Thierry J{\'{e}}ron and
Christophe Morvan},
title = {Test Generation from Recursive Tiles Systems},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {99--114},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/CreignouES12,
author = {Nadia Creignou and
Uwe Egly and
Martina Seidl},
title = {A Framework for the Specification of Random {SAT} and {QSAT} Formulas},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {163--168},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/KiniryZH12,
author = {Joseph R. Kiniry and
Daniel M. Zimmerman and
Ralph Hyland},
title = {Testing Library Specifications by Verifying Conformance Tests},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {51--66},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/KosmatovW12,
author = {Nikolai Kosmatov and
Nicky Williams},
title = {Tutorial on Automated Structural Testing with PathCrawler - (Extended
Abstract)},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {176},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/KosmatovWBRC12,
author = {Nikolai Kosmatov and
Nicky Williams and
Bernard Botella and
Muriel Roger and
Omar Chebaro},
title = {A Lesson on Structural Testing with PathCrawler-online.com},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {169--175},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/Kuehlmann12,
author = {Andreas Kuehlmann},
title = {The Technology and Psychology of Testing Your Code as You Develop
It},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {1},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/LeonHL12,
author = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
Stefan Haar and
Delphine Longuet},
title = {Conformance Relations for Labeled Event Structures},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {83--98},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/LochauSKL12,
author = {Malte Lochau and
Ina Schaefer and
Jochen Kamischke and
Sascha Lity},
title = {Incremental Model-Based Testing of Delta-Oriented Software Product
Lines},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {67--82},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/Pasareanu12,
author = {Corina S. Pasareanu},
title = {Combining Model Checking and Symbolic Execution for Software Testing},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {2},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/SenniF12,
author = {Valerio Senni and
Fabio Fioravanti},
title = {Generation of Test Data Structures Using Constraint Logic Programming},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {115--131},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/SulzmannZ12,
author = {Martin Sulzmann and
Axel Zechner},
title = {Constructive Finite Trace Analysis with Linear Temporal Logic},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {7305},
pages = {132--148},
publisher = {Springer},
year = {2012}
}
@proceedings{DBLP:conf/tap/2012,
editor = {Achim D. Brucker and
Jacques Julliand},
title = {Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague,
Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7305},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/tap/AguirreBFG11,
author = {Nazareno Aguirre and
Valeria S. Bengolea and
Marcelo F. Frias and
Juan P. Galeotti},
title = {Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test
Generation of Structural Inputs},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {15--32},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/BentakoukPZ11,
author = {Lina Bentakouk and
Pascal Poizat and
Fatiha Za{\"{\i}}di},
title = {Checking the Behavioral Conformance of Web Services with Symbolic
Testing and an {SMT} Solver},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {33--50},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/BuchlerOP11,
author = {Matthias B{\"{u}}chler and
Johan Oudinet and
Alexander Pretschner},
title = {Security Mutants for Property-Based Testing},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {69--77},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/BueJM11,
author = {Pierre{-}Christophe Bu{\'{e}} and
Jacques Julliand and
Pierre{-}Alain Masson},
title = {Association of Under-Approximation Techniques for Generating Tests
from Models},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {51--68},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/ChebaroKGJ11,
author = {Omar Chebaro and
Nikolai Kosmatov and
Alain Giorgetti and
Jacques Julliand},
title = {The {SANTE} Tool: Value Analysis, Program Slicing and Test Generation
for {C} Program Debugging},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {78--83},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/DegiovanniPAF11,
author = {Renzo Degiovanni and
Pablo Ponzio and
Nazareno Aguirre and
Marcelo F. Frias},
title = {Abstraction Based Automated Test Generation from Formal Tabular Requirements
Specifications},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {84--101},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/DrossFM11,
author = {Claire Dross and
Jean{-}Christophe Filli{\^{a}}tre and
Yannick Moy},
title = {Correct Code Containing Containers},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {102--118},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/Gaudel11,
author = {Marie{-}Claude Gaudel},
title = {Checking Models, Proving Programs, and Testing Systems},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {1--13},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/Godefroid11,
author = {Patrice Godefroid},
title = {Tests from Proofs},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {14},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/HeamM11,
author = {Pierre{-}Cyrille H{\'{e}}am and
Catherine Masson},
title = {A Random Testing Approach Using Pushdown Automata},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {119--133},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/MeinkeS11,
author = {Karl Meinke and
Muddassar A. Sindhu},
title = {Incremental Learning-Based Testing for Reactive Systems},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {134--151},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/SoekenWD11,
author = {Mathias Soeken and
Robert Wille and
Rolf Drechsler},
title = {Encoding {OCL} Data Types for SAT-Based Verification of {UML/OCL}
Models},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {152--170},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/Tan11,
author = {Li Tan},
title = {State Coverage Metrics for Specification-Based Testing with B{\"{u}}chi
Automata},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {171--186},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/TroyaBLV11,
author = {Javier Troya and
Jos{\'{e}} Mar{\'{\i}}a Bautista and
Fernando L{\'{o}}pez{-}Romero and
Antonio Vallecillo},
title = {Lightweight Testing of Communication Networks with \emph{e-Motions}},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {187--204},
publisher = {Springer},
year = {2011}
}
@proceedings{DBLP:conf/tap/2011,
editor = {Martin Gogolla and
Burkhart Wolff},
title = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
Switzerland, June 30 - July 1, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6706},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/tap/AhnD10,
author = {Ki Yung Ahn and
Ewen Denney},
title = {Testing First-Order Logic Axioms in Program Verification},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {22--37},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/Blanchette10,
author = {Jasmin Christian Blanchette},
title = {Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes,
and (Co)recursive Functions},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {117--134},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/BousquetL10,
author = {Lydie du Bousquet and
Michel L{\'{e}}vy},
title = {Proof Process Evaluation with Mutation Analysis},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {55--60},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/BueDKB10,
author = {Pierre{-}Christophe Bu{\'{e}} and
Fr{\'{e}}d{\'{e}}ric Dadeau and
Adrien De Kermadec and
Fabrice Bouquet},
title = {Building a Test-Ready Abstraction of a Behavioral Model Using {CLP}},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {167--182},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/ChebaroKGJ10,
author = {Omar Chebaro and
Nikolai Kosmatov and
Alain Giorgetti and
Jacques Julliand},
title = {Combining Static Analysis and Test Generation for {C} Program Debugging},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {94--100},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/ClaessenSH10,
author = {Koen Claessen and
Nicholas Smallbone and
John Hughes},
title = {QuickSpec: Guessing Formal Specifications Using Testing},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {6--21},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/Ernst10,
author = {Michael D. Ernst},
title = {How Tests and Proofs Impede One Another: The Need for Always-On Static
and Dynamic Feedback},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {1--2},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/GladischTBY10,
author = {Christoph Gladisch and
Shmuel S. Tyszberowicz and
Bernhard Beckert and
Amiram Yehudai},
title = {Generating Regression Unit Tests Using a Combination of Verification
and Capture {\&} Replay},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {61--76},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/GogollaHK10,
author = {Martin Gogolla and
Lars Hamann and
Mirco Kuhlmann},
title = {Proving and Visualizing {OCL} Invariant Independence by Automatically
Generated Test Cases},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {38--54},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/GoldbergM10,
author = {Eugene Goldberg and
Panagiotis Manolios},
title = {Generating High-Quality Tests for Boolean Circuits by Treating Tests
as Proof Encoding},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {101--116},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/JulliandSBM10,
author = {Jacques Julliand and
Nicolas Stouls and
Pierre{-}Christophe Bu{\'{e}} and
Pierre{-}Alain Masson},
title = {Syntactic Abstraction of {B} Models to Generate Tests},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {151--166},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/Nagappan10,
author = {Nachiappan Nagappan},
title = {Myths in Software Engineering: From the Other Side},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {3--5},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/Rusu10,
author = {Vlad Rusu},
title = {Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {135--150},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/ThummalapentaHTW10,
author = {Suresh Thummalapenta and
Jonathan de Halleux and
Nikolai Tillmann and
Scott Wadsworth},
title = {DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes
of Dynamic Traces},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {6143},
pages = {77--93},
publisher = {Springer},
year = {2010}
}
@proceedings{DBLP:conf/tap/2010,
editor = {Gordon Fraser and
Angelo Gargantini},
title = {Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, M{\'{a}}laga,
Spain, July 1-2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6143},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/tap/AyraultHP09,
author = {Philippe Ayrault and
Th{\'{e}}r{\`{e}}se Hardin and
Fran{\c{c}}ois Pessaux},
title = {Development of a Generic Voter under FoCal},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {10--26},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/tap/CalvagnaG09,
author = {Andrea Calvagna and
Angelo Gargantini},
title = {Combining Satisfiability Solving and Heuristics to Constrained Combinatorial
Interaction Testing},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {27--42},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/tap/Chetali09,
author = {Boutheina Chetali},
title = {Security Testing and Formal Methods for High Levels Certification
of Smart Cards},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {1--5},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/tap/FazlalizadehKAP09,
author = {Yalda Fazlalizadeh and
Alireza Khalilian and
Mohammad Abdollahi Azgomi and
Saeed Parsa},
title = {Incorporating Historical Test Case Performance Data and Resource Constraints
into Test Case Prioritization},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {43--57},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/tap/FraserW09,
author = {Gordon Fraser and
Franz Wotawa},
title = {Complementary Criteria for Testing Temporal Logic Properties},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {58--73},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/tap/Gladisch09,
author = {Christoph Gladisch},
title = {Could We Have Chosen a Better Loop Invariant or Method Contract?},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {74--89},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/tap/GogollaKH09,
author = {Martin Gogolla and
Mirco Kuhlmann and
Lars Hamann},
title = {Consistency, Independence and Consequences in {UML} and {OCL} Models},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {90--104},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/tap/GriesmayerAJS09,
author = {Andreas Griesmayer and
Bernhard K. Aichernig and
Einar Broch Johnsen and
Rudolf Schlatte},
title = {Dynamic Symbolic Execution for Testing Distributed Objects},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {105--120},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/tap/HerberFG09,
author = {Paula Herber and
Florian Friedemann and
Sabine Glesner},
title = {Combining Model Checking and Testing in a Continuous {HW/SW} Co-verification
Process},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {121--136},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/tap/NoriR09,
author = {Aditya V. Nori and
Sriram K. Rajamani},
title = {Verification, Testing and Statistics},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {6--9},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/tap/Rapin09,
author = {Nicolas Rapin},
title = {Symbolic Execution Based Model Checking of Open Systems with Unbounded
Variables},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {137--152},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/tap/RatschanS09,
author = {Stefan Ratschan and
Jan{-}Georg Smaus},
title = {Finding Errors of Hybrid Systems by Optimising an Abstraction-Based
Quality Estimate},
booktitle = {TAP@TOOLS},
series = {Lecture Notes in Computer Science},
volume = {5668},
pages = {153--168},
publisher = {Springer},
year = {2009}
}
@proceedings{DBLP:conf/tap/2009,
editor = {Catherine Dubois},
title = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
Switzerland, July 2-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5668},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/tap/BallK08,
author = {Thomas Ball and
Orna Kupferman},
title = {Vacuity in Testing},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {4--17},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tap/CalvagnaG08,
author = {Andrea Calvagna and
Angelo Gargantini},
title = {A Logic-Based Approach to Combinatorial Testing with Constraints},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {66--83},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tap/Cao08,
author = {Zining Cao},
title = {Equivalence Checking for a Finite Higher Order pi-Calculus},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {30--47},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tap/CarlierD08,
author = {Matthieu Carlier and
Catherine Dubois},
title = {Functional Testing in the Focal Environment},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {84--98},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tap/ClaessenS08,
author = {Koen Claessen and
Hans Svensson},
title = {Finding Counter Examples in Induction Proofs},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {48--65},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tap/DunetsSR08,
author = {Andriy Dunets and
Gerhard Schellhorn and
Wolfgang Reif},
title = {Bounded Relational Analysis of Free Data Types},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {99--115},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tap/EngelGKR08,
author = {Christian Engel and
Christoph Gladisch and
Vladimir Klebanov and
Philipp R{\"{u}}mmer},
title = {Integrating Verification and Testing of Object-Oriented Software},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {182--191},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tap/Ferrara08,
author = {Pietro Ferrara},
title = {Static Analysis Via Abstract Interpretation of the Happens-Before
Memory Model},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {116--133},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tap/HalleuxT08,
author = {Jonathan de Halleux and
Nikolai Tillmann},
title = {Parameterized Unit Testing with Pex},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {171--181},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tap/Hennell08,
author = {Michael A. Hennell},
title = {The First Thirty Years: Experience with Software Verification},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {1--3},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tap/TillmannH08,
author = {Nikolai Tillmann and
Jonathan de Halleux},
title = {Pex-White Box Test Generation for .NET},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {134--153},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tap/VelroyenR08,
author = {Helga Velroyen and
Philipp R{\"{u}}mmer},
title = {Non-termination Checking for Imperative Programs},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {154--170},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tap/WeyukerO08,
author = {Elaine J. Weyuker and
Thomas J. Ostrand},
title = {What Can Fault Prediction Do for YOU?},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {18--29},
publisher = {Springer},
year = {2008}
}
@proceedings{DBLP:conf/tap/2008,
editor = {Bernhard Beckert and
Reiner H{\"{a}}hnle},
title = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
Italy, April 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4966},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tap/BackEM07,
author = {Ralph{-}Johan Back and
Johannes Eriksson and
Magnus Myreen},
title = {Testing and Verifying Invariant Based Programs in the {SOCOS} Environment},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {61--78},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/tap/BeckertG07,
author = {Bernhard Beckert and
Christoph Gladisch},
title = {White-Box Testing by Combining Deduction-Based Specification Extraction
and Black-Box Testing},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {207--216},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/tap/BruckerW07,
author = {Achim D. Brucker and
Burkhart Wolff},
title = {Test-Sequence Generation with Hol-TestGen with an Application to Firewall
Testing},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {149--168},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/tap/EngelH07,
author = {Christian Engel and
Reiner H{\"{a}}hnle},
title = {Generating Unit Tests from Formal Proofs},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {169--188},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/tap/GallRT07,
author = {Pascale Le Gall and
Nicolas Rapin and
Assia Touil},
title = {Symbolic Execution Techniques for Refinement Testing},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {131--148},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/tap/Gargantini07,
author = {Angelo Gargantini},
title = {Using Model Checking to Generate Fault Detecting Tests},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {189--206},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/tap/Haiyan07,
author = {Qiao Haiyan},
title = {Testing and Proving Distributed Algorithms in Constructive Type Theory},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {79--94},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/tap/LiuMS07,
author = {Lisa Ling Liu and
Bertrand Meyer and
Bernd Schoeller},
title = {Using Contracts and Boolean Queries to Improve the Quality of Automatic
Test Generation},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {114--130},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/tap/OstroffT07,
author = {Jonathan S. Ostroff and
Faraz Ahmadi Torshizi},
title = {Testable Requirements and Specifications},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {17--40},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/tap/RummerS07,
author = {Philipp R{\"{u}}mmer and
Muhammad Ali Shah},
title = {Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic
Logic},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {41--60},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/tap/SatpathyBLR07,
author = {Manoranjan Satpathy and
Michael J. Butler and
Michael Leuschel and
S. Ramesh},
title = {Automatic Testing from Formal Specifications},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {95--113},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/tap/SmaragdakisC07,
author = {Yannis Smaragdakis and
Christoph Csallner},
title = {Combining Static and Dynamic Reasoning for Bug Detection},
booktitle = {{TAP}},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {1--16},
publisher = {Springer},
year = {2007}
}
@proceedings{DBLP:conf/tap/2007,
editor = {Yuri Gurevich and
Bertrand Meyer},
title = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
Switzerland, February 12-13, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4454},
publisher = {Springer},
year = {2007}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-24 20:27 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
