|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 60 publication records. Showing 60 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity |
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.  |
TAP@TOOLS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Valerio Senni, Fabio Fioravanti |
Generation of Test Data Structures Using Constraint Logic Programming. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Chédor, Thierry Jéron, Christophe Morvan |
Test Generation from Recursive Tiles Systems. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Kuehlmann |
The Technology and Psychology of Testing Your Code as You Develop It. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti |
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland |
Testing Library Specifications by Verifying Conformance Tests. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer |
Towards Scenario-Based Testing of UML Diagrams. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Kosmatov, Nicky Williams |
Tutorial on Automated Structural Testing with PathCrawler - (Extended Abstract). |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro |
A Lesson on Structural Testing with PathCrawler-online.com. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Creignou, Uwe Egly, Martina Seidl |
A Framework for the Specification of Random SAT and QSAT Formulas. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Axel Zechner |
Constructive Finite Trace Analysis with Linear Temporal Logic. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias |
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb |
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hernán Ponce de León, Stefan Haar, Delphine Longuet |
Conformance Relations for Labeled Event Structures. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Jacques Julliand (eds.) |
Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann |
Evaluating and Debugging OCL Expressions in UML Models. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina S. Pasareanu |
Combining Model Checking and Symbolic Execution for Software Testing. |
TAP@TOOLS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson |
Association of Under-Approximation Techniques for Generating Tests from Models. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gogolla, Burkhart Wolff (eds.) |
Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Büchler, Johan Oudinet, Alexander Pretschner |
Security Mutants for Property-Based Testing. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti |
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Cyrille Héam, Catherine Masson |
A Random Testing Approach Using Pushdown Automata. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Troya, José María Bautista, Fernando López-Romero, Antonio Vallecillo |
Lightweight Testing of Communication Networks with e-Motions. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire Dross, Jean-Christophe Filliâtre, Yannick Moy |
Correct Code Containing Containers. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi |
Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Claude Gaudel |
Checking Models, Proving Programs, and Testing Systems. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Soeken, Robert Wille, Rolf Drechsler |
Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Meinke, Muddassar A. Sindhu |
Incremental Learning-Based Testing for Reactive Systems. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Tan |
State Coverage Metrics for Specification-Based Testing with Büchi Automata. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid |
Tests from Proofs. |
TAP@TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth |
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet |
Building a Test-Ready Abstraction of a Behavioral Model Using CLP. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Nicholas Smallbone, John Hughes 0001 |
QuickSpec: Guessing Formal Specifications Using Testing. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai |
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Christian Blanchette |
Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad Rusu |
Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gogolla, Lars Hamann, Mirco Kuhlmann |
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Goldberg, Panagiotis Manolios |
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson |
Syntactic Abstraction of B Models to Generate Tests. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Ernst |
How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nachiappan Nagappan |
Myths in Software Engineering: From the Other Side. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ki Yung Ahn, Ewen Denney |
Testing First-Order Logic Axioms in Program Verification. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand |
Combining Static Analysis and Test Generation for C Program Debugging. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lydie du Bousquet, Michel Lévy |
Proof Process Evaluation with Mutation Analysis. |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon Fraser 0001, Angelo Gargantini (eds.) |
Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, Málaga, Spain, July 1-2, 2010. Proceedings |
TAP@TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Ratschan, Jan-Georg Smaus |
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Calvagna, Angelo Gargantini |
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boutheina Chetali |
Security Testing and Formal Methods for High Levels Certification of Smart Cards. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Rapin |
Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
Input Output Symbolic Transition Systems, Verification, Symbolic Execution, Linear Temporal Logic |
| 1 | Gordon Fraser 0001, Franz Wotawa |
Complementary Criteria for Testing Temporal Logic Properties. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gogolla, Mirco Kuhlmann, Lars Hamann |
Consistency, Independence and Consequences in UML and OCL Models. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Gladisch |
Could We Have Chosen a Better Loop Invariant or Method Contract?. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
Dynamic Symbolic Execution for Testing Distributed Objects. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Dubois (eds.) |
Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yalda Fazlalizadeh, Alireza Khalilian 0001, Mohammad Abdollahi Azgomi, Saeed Parsa |
Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
Software regression test, history-based prioritization, historical fault detection, test case prioritization |
| 1 | Aditya V. Nori, Sriram K. Rajamani |
Verification, Testing and Statistics. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Ayrault, Thérèse Hardin, François Pessaux |
Development of a Generic Voter under FoCal. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
formal methods, FoCal, voter, development cycle |
| 1 | Paula Herber, Florian Friedemann, Sabine Glesner |
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. |
TAP@TOOLS |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #60 of 60 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license