| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Simon Dierl, Falk Howar |
Reach on Register Automata via History Independence.  |
TAP@STAF  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryam Mouzarani, Ali Kamali, Sara Baradaran, Mahdi Heidari |
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes. |
TAP@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo |
Bddl: A Type System for Binary Decision Diagrams. |
TAP@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács, Karl Meinke (eds.) |
Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings |
TAP@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yutaka Nagashima |
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction. |
TAP@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Kaufmann, Armin Biere |
Fuzzing and Delta Debugging And-Inverter Graph Verification Tools. |
TAP@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Christine Jakobs |
Automatic Test-Case Generation with CoVeriTest (Extended Abstract). |
TAP@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Marmsoler, Achim D. Brucker |
Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. |
TAP@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu |
Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. |
TAP@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Diner, Gordon Fraser 0001, Sebastian Schweikl, Andreas Stahlbauer |
Generating Timed UI Tests from Counterexamples. |
TAP@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro |
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. |
TAP@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Clovis Eberhart, Akihisa Yamada 0002, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa |
Architecture-Guided Test Resource Allocation via Logic. |
TAP@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Dylan Marinho, Jaco van de Pol |
A Benchmarks Library for Extended Parametric Timed Automata. |
TAP@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Meinke, Hojat Khosrowjerdi |
Use Case Testing: A Constrained Active Machine Learning Approach. |
TAP@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Loulergue, Franz Wotawa (eds.) |
Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings |
TAP@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel, Richard Schumi |
Mutation Testing of Smart Contracts at Scale. |
TAP@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Kolárik, Stefan Ratschan |
SAT Modulo Differential Equation Simulations. |
TAP@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles |
Verified Runtime Assertion Checking for Memory Properties. |
TAP@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Martin Tappler, Felix Wallner |
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. |
TAP@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Heike Wehrheim (eds.) |
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] |
TAP@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Masci 0001, César A. Muñoz |
A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems. |
TAP@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Karine Altisen, Stéphane Devismes, Erwan Jahier |
sasa: A SimulAtor of Self-stabilizing Algorithms. |
TAP@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | João Carlos Pereira, Nuno Machado, Jorge Sousa Pinto |
Testing for Race Conditions in Distributed Systems via SMT Solving. |
TAP@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Mariusz Lester |
ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. |
TAP@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro |
Deductive Binary Code Verification Against Source-Code-Level Specifications. |
TAP@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hojat Khosrowjerdi, Hamed Nemati, Karl Meinke |
Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries. |
TAP@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chantal Keller |
Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL. |
TAP@STAF |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles |
Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report. |
TAP@STAF |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron |
Under-Approximation Generation Driven by Relevance Predicates and Variants. |
TAP@STAF |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert |
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. |
TAP@STAF |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Dubois, Burkhart Wolff (eds.) |
Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings |
TAP@STAF |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001, Matthias Dangl, Thomas Lemberger 0002, Michael Tautschnig |
Tests from Witnesses - Execution-Based Validation of Verification Results. |
TAP@STAF |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot |
Static and Dynamic Verification of Relational Properties on Self-composed C Code. |
TAP@STAF |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Bernard 0001, Pierre-Cyrille Héam, Olga Kouchnarenko |
An Approximation-Based Approach for the Random Exploration of Large Models. |
TAP@STAF |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Viet Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels |
Verification Coverage for Combining Test and Proof. |
TAP@STAF |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Fuchs 0001 |
Automated Test Case Generation for Java EE Based Web Applications. |
TAP@STAF |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Loulergue, Allan Blanchard, Nikolai Kosmatov |
Ghosts for Lists: From Axiomatic to Executable Specifications. |
TAP@STAF |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Michael Herzberg |
Formalizing (Web) Standards - An Application of Test and Proof. |
TAP@STAF |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere |
Skolem Function Continuation for Quantified Boolean Formulas. |
TAP@STAF |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Fuchs 0001, Herbert Kuchen |
Unit Testing of Database-Driven Java Enterprise Edition Applications. |
TAP@STAF |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gergö Barany, Julien Signoles |
Hybrid Information Flow Analysis for Real-World C Code. |
TAP@STAF |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaïel |
WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions. |
TAP@STAF |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden |
Test Suite Reduction in Idempotence Testing of Infrastructure as Code. |
TAP@STAF |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto |
Symbolic Execution of Transition Systems with Function Summaries. |
TAP@STAF |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Gabmeyer, Einar Broch Johnsen (eds.) |
Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings |
TAP@STAF |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai 0001 |
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. |
TAP@STAF |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Gerhold, Mariëlle Stoelinga |
Model-Based Testing of Probabilistic Systems with Stochastic Time. |
TAP@STAF |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Giles Reger, Martin Suda 0001, Andrei Voronkov |
Testing a Saturation-Based Theorem Prover: Experiences and Challenges. |
TAP@STAF |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt |
Abstraction Refinement for the Analysis of Software Product Lines. |
TAP@STAF |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker |
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. |
TAP@STAF |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Burkhart Wolff |
Monadic Sequence Testing and Explicit Test-Refinements. |
TAP@STAF |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Reichl, Tomas Fischer, Peter Tummeltshammer |
Using Formal Methods for Verification and Validation in Railway. |
TAP@STAF |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | James Cheney, Alberto Momigliano, Matteo Pessina |
Advances in Property-Based Testing for \alpha Prolog. |
TAP@STAF |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand |
Your Proof Fails? Testing Helps to Find the Reason. |
TAP@STAF |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Gabmeyer, Martina Seidl |
Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. |
TAP@STAF |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Felbinger, Ingo Pill, Franz Wotawa |
Classifying Test Suite Effectiveness via Model Inference and ROBBDs. |
TAP@STAF |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Salvador Tamarit, Adrián Riesco 0001, Enrique Martin-Martin, Rafael Caballero 0001 |
Debugging Meets Testing in Erlang. |
TAP@STAF |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Dubois, Alain Giorgetti, Richard Genestier |
Tests and Proofs for Enumerative Combinatorics. |
TAP@STAF |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoying Liu |
Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification. |
TAP@STAF |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Podelski, Martin Schäf, Thomas Wies |
Classifying Bugs with Interpolants. |
TAP@STAF |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Slama |
Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant! |
TAP@STAF |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Carlo A. Furia (eds.) |
Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings |
TAP@STAF |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran |
Scalable Incremental Test-case Generation from Large Behavior Models. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Daniel M. Hein, Franz Röck, Richard Schumi |
Case Study: Automatic Test Case Generation for a Secure Cache Implementation. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Athanasiou, Hernán Ponce de León, Stefan Schwoon |
Test Case Generation for Concurrent Systems Using Event Structures. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Hübner, Wen-ling Huang, Jan Peleska 0001 |
Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Anamaria Martins Moreira, Cleverton Hentz, David Déharbe, Ernesto Cid Brasil de Matos, João Batista de Souza Neto, Valério de Medeiros Jr. |
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Soeken, Julia Seiter 0002, Rolf Drechsler |
Coverage of OCL Operation Specifications and Invariants. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff Birch, Bernd Fischer 0002, Michael R. Poppleton |
Fast Model-Based Fault Localisation with Test Suites. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier |
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Christian Blanchette, Nikolai Kosmatov (eds.) |
Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Dutle, César A. Muñoz, Anthony Narkawicz, Ricky W. Butler |
Software Validation via Model Animation. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Grinchtein, Mats Carlsson, Justin Pearson |
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Mijatov, Tanja Mayerhofer, Philip Langer, Gerti Kappel |
Testing Functional Requirements in UML Activity Diagrams. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Genestier, Alain Giorgetti, Guillaume Petiot |
Sequential Generation of Structured Arrays and Its Deductive Verification. |
TAP@STAF |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kampmann, Juan Pablo Galeotti, Andreas Zeller |
JTACO: Test Execution for Faster Bounded Verification. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kari Kähkönen, Keijo Heljanko |
Lightweight State Capturing for Automated Testing of Multithreaded Programs. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt |
Model-Based Mutation Testing of an Industrial Measurement Device. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nada Amin, K. Rustan M. Leino, Tiark Rompf |
Computing with an SMT Solver. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Rolf Drechsler |
Behaviour Driven Development for Tests and Verification. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Jannesari, Nico Koprowski, Jochen Schimmel, Felix Wolf 0001 |
Generating Classified Parallel Unit Tests. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
An Abstraction Technique for Testing Decomposable Systems by Model Checking. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Hilken, Philipp Niemann 0001, Martin Gogolla, Robert Wille |
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Gabmeyer |
Quality Assurance in MBE Back and Forth. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Kanig, Roderick Chapman, Cyrille Comar, Jérôme Guitton, Yannick Moy, Emyr Rees |
Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martina Seidl, Nikolai Tillmann (eds.) |
Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Kurth, Sibylle Schupp, Stephan Weißleder |
Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hentschel 0002, Reiner Hähnle, Richard Bubel |
Visualizing Unbounded Symbolic Execution. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Kosmatov, Julien Signoles |
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses - Tutorial Synopsis. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Kosmatov, Matthieu Lemerre, Céline Alec |
A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
How Test Generation Helps Software Specification and Deductive Verification in Frama-C. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Bardin, Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov |
An All-in-One Toolkit for Automated White-Box Testing. |
TAP@STAF |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gogolla, Fabian Büttner, Jordi Cabot |
Initiating a Benchmark for UML and OCL Analysis Tools. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Thorsten Bormer, Markus Wagner 0007 |
A Metric for Testing Program Verification Systems. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele |
Incremental Refinement Checking for Test Case Generation. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff |
Test Program Generation for a Microprocessor - A Case-Study. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Kosmatov, Virgile Prevosto, Julien Signoles |
A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Konrad Jamrozik, Gordon Fraser 0001, Nikolai Tillmann, Jonathan de Halleux |
Generating Test Suites with Augmented Dynamic Symbolic Execution. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Pötzl, Andreas Holzer |
Solving Constraints for Generational Search. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Gerrit Johan Stokkink, Mark Timmer, Mariëlle Stoelinga |
Divergent Quiescent Transition Systems. |
TAP@STAF |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license