|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 37 occurrences of 30 keywords
|
|
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles |
Context Specification Language for Formally Verifying Consent Properties on Models and Code.  |
TAP  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibaut Benajmin, Julien Signoles |
Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking. |
TAP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gogolla, Lars Hamann |
Proving Properties of Operation Contracts with Test Scenarios. |
TAP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran |
Low-Level Reachability Analysis Based on Formal Logic. |
TAP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Cimini |
Testing Languages with a Languages-as-Databases Approach. |
TAP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kais Klai, Mohamed Taha Bennani, Jaime Arias 0001, Jörg Desel, Hanen Ochi |
Symbolic Observation Graph-Based Generation of Test Paths. |
TAP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Megan Strauss, Stefan Mitsch |
Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars. |
TAP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Virgile Prevosto, Cristina Seceleanu (eds.) |
Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings |
TAP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurélie Hurault, João Marques-Silva 0001 |
Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers. |
TAP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel |
Testing a Formally Verified Compiler. |
TAP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Engel, Freek Verbeek, Binoy Ravindran |
BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. |
TAP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elaine J. Weyuker, Thomas J. Ostrand |
What Can Fault Prediction Do for YOU?. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
Bounded Relational Analysis of Free Data Types. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
SAT checking, model checking, verification, formal methods, theorem proving, First-order logic, abstract data types |
| 1 | Andrea Calvagna, Angelo Gargantini |
A Logic-Based Approach to Combinatorial Testing with Constraints. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Hennell |
The First Thirty Years: Experience with Software Verification. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Orna Kupferman |
Vacuity in Testing. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Helga Velroyen, Philipp Rümmer |
Non-termination Checking for Imperative Programs. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle (eds.) |
Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan de Halleux, Nikolai Tillmann |
Parameterized Unit Testing with Pex. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Hans Svensson |
Finding Counter Examples in Induction Proofs. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Tillmann, Jonathan de Halleux |
Pex-White Box Test Generation for .NET. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Engel 0002, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer |
Integrating Verification and Testing of Object-Oriented Software. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zining Cao |
Equivalence Checking for a Finite Higher Order pi-Calculus. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Carlier, Catherine Dubois |
Functional Testing in the Focal Environment. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Ferrara 0001 |
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs |
| 1 | Bernhard Beckert, Christoph Gladisch |
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Engel 0002, Reiner Hähnle |
Generating Unit Tests from Formal Proofs. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
theorem proving, program verification, model-based testing, unit testing, symbolic execution, test coverage, white-box testing |
| 1 | Achim D. Brucker, Burkhart Wolff |
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
symbolic test case generations, theorem proving, computer security, black box testing, Isabelle/HOL, test sequence generation |
| 1 | Jonathan S. Ostroff, Faraz Ahmadi Torshizi |
Testable Requirements and Specifications. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascale Le Gall, Nicolas Rapin, Assia Touil |
Symbolic Execution Techniques for Refinement Testing. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
symbolic transition system, refinement, conformance testing, symbolic execution |
| 1 | Yannis Smaragdakis, Christoph Csallner |
Combining Static and Dynamic Reasoning for Bug Detection. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Gurevich, Bertrand Meyer 0001 (eds.) |
Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers |
TAP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisa Ling Liu, Bertrand Meyer 0001, Bernd Schoeller |
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph-Johan Back, Johannes Eriksson, Magnus Myreen |
Testing and Verifying Invariant Based Programs in the SOCOS Environment. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
Invariant based programming, static program verification, state charts, verification conditions |
| 1 | Angelo Gargantini |
Using Model Checking to Generate Fault Detecting Tests. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
test, model based testing, Abstract State Machines, fault based testing |
| 1 | Qiao Haiyan |
Testing and Proving Distributed Algorithms in Constructive Type Theory. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh 0002 |
Automatic Testing from Formal Specifications. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
Model Based Testing, B-Method, Non-determinism |
| 1 | Philipp Rümmer, Muhammad Ali Shah |
Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
Disproving, Testing, Program verification, Program logics |
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license