Search results for "FATES"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Wolfgang Grieskamp, Carsten Weise (eds.)	Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers	FATES	2006	DBLP DOI BibTeX RDF
1	Jens Grabowski, Brian Nielsen (eds.)	Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers	FATES	2005	DBLP DOI BibTeX RDF
1	Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara	Model-Based Testing Through a GUI.	FATES	2005	DBLP DOI BibTeX RDF
1	Johannes Mayer	Adaptive Random Testing by Bisection and Localization.	FATES	2005	DBLP DOI BibTeX RDF
1	Gaoyan Xie, Zhe Dang	Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach.	FATES	2005	DBLP DOI BibTeX RDF
1	Doron A. Peled, Hongyang Qu 0001	Time Unbalanced Partial Order.	FATES	2005	DBLP DOI BibTeX RDF
1	Antti Huima	A Note on an Anomaly in Black-Box Testing.	FATES	2005	DBLP DOI BibTeX RDF
1	Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes	Play to Test.	FATES	2005	DBLP DOI BibTeX RDF
1	Marcin Jurdzinski, Doron A. Peled, Hongyang Qu 0001	Calculating Probabilities of Real-Time Test Cases.	FATES	2005	DBLP DOI BibTeX RDF
1	Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu	A Novel Test Coverage Metric for Concurrently-Accessed Software Components.	FATES	2005	DBLP DOI BibTeX RDF
1	Manuel Núñez 0001, Ismael Rodríguez	Conformance Testing Relations for Timed Systems.	FATES	2005	DBLP DOI BibTeX RDF
1	Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre	Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.	FATES	2005	DBLP DOI BibTeX RDF	proof tree normalization, conditional rewriting, algebraic specifications, Specification-based testing, unfolding, selection criteria
1	Alexandre Petrenko, Nina Yevtushenko 0001	Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.	FATES	2005	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Burkhart Wolff	Interactive Testing with HOL-TestGen.	FATES	2005	DBLP DOI BibTeX RDF	symbolic test case generations, theorem proving, black box testing, white box testing, interactive testing
1	Sergey V. Zelenov, Sophia A. Zelenova	Automated Generation of Positive and Negative Tests for Parsers.	FATES	2005	DBLP DOI BibTeX RDF	specification-based test generation, coverage criterion, compiler testing, positive tests, negative tests, BNF grammar, formal language, mutation testing, parser
1	Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova	Simulated Time for Testing Railway Interlockings with TTCN-3.	FATES	2005	DBLP DOI BibTeX RDF
1	Antal Wu-Hen-Chang, Dung Le Viet, Gabor Batori, Roland Gecse, Gyula Csopaki	High-Level Restructuring of TTCN-3 Test Data.	FATES	2004	DBLP DOI BibTeX RDF
1	Hyoung Seok Hong, Hasan Ural	Using Model Checking for Reducing the Cost of Test Generation.	FATES	2004	DBLP DOI BibTeX RDF
1	Laura Brandán Briones, Ed Brinksma	A Test Generation Framework for quiescent Real-Time Systems.	FATES	2004	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Burkhart Wolff	Symbolic Test Case Generation for Primitive Recursive Functions.	FATES	2004	DBLP DOI BibTeX RDF
1	Lars Frantzen, Jan Tretmans, Tim A. C. Willemse	Test Generation Based on Symbolic Specifications.	FATES	2004	DBLP DOI BibTeX RDF
1	Kalpesh Kapoor, Jonathan P. Bowen	Ordering Mutants to Minimise Test Effort in Mutation Testing.	FATES	2004	DBLP DOI BibTeX RDF
1	Thomas Arts, Koen Claessen, Hans Svensson	Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang.	FATES	2004	DBLP DOI BibTeX RDF
1	Gaoyan Xie, Zhe Dang	An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components.	FATES	2004	DBLP DOI BibTeX RDF
1	Alain Vouffo-Feudjio, Ina Schieferdecker	Test Patterns with TTCN-3.	FATES	2004	DBLP DOI BibTeX RDF
1	Behzad Bordbar, Kozo Okano	Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach.	FATES	2004	DBLP DOI BibTeX RDF
1	Alexandre Petrenko, Andreas Ulrich (eds.)	Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003	FATES	2004	DBLP DOI BibTeX RDF
1	Natalia López, Manuel Núñez 0001, Ismael Rodríguez	Testing of Symbolic-Probabilistic Systems.	FATES	2004	DBLP DOI BibTeX RDF
1	David de Frutos-Escrig, Carlos Gregorio-Rodríguez	Preserving Contexts for Soft Conformance Relation.	FATES	2004	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen	Online Testing of Real-time Systems Using Uppaal.	FATES	2004	DBLP DOI BibTeX RDF
1	Johan Blom, Anders Hessel, Bengt Jonsson 0001, Paul Pettersson	Specifying and Generating Test Cases Using Observer Automata.	FATES	2004	DBLP DOI BibTeX RDF
1	Hoijin Yoon, Eunhee Kim, Jooyoung Seo, Byoungju Choi	Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study.	FATES	2004	DBLP DOI BibTeX RDF
1	Sita Ramakrishnan	VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile.	FATES	2003	DBLP DOI BibTeX RDF
1	Mourad Badri, Linda Badri, Marius Naha	A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams.	FATES	2003	DBLP DOI BibTeX RDF
1	Reiner Hähnle, Angela Wallenburg	Using a Software Testing Technique to Improve Theorem Proving.	FATES	2003	DBLP DOI BibTeX RDF
1	Benjamin Tyler, Neelam Soundarajan	Black-Box Testing of Grey-Box Behavior.	FATES	2003	DBLP DOI BibTeX RDF
1	Olaf Henniger, Miao Lu, Hasan Ural	Automatic Generation of Test Purposes for Testing Distributed Systems.	FATES	2003	DBLP DOI BibTeX RDF
1	Machiel van der Bijl, Arend Rensink, Jan Tretmans	Compositional Testing with ioco.	FATES	2003	DBLP DOI BibTeX RDF
1	Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao	Auto-generating Test Sequences Using Model Checkers: A Case Study.	FATES	2003	DBLP DOI BibTeX RDF
1	Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou	Time-Optimal Real-Time Test Case Generation Using Uppaal.	FATES	2003	DBLP DOI BibTeX RDF
1	Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon	Property Oriented Test Case Generation.	FATES	2003	DBLP DOI BibTeX RDF
1	Guoqing Xu, Zongyuang Yang	JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit.	FATES	2003	DBLP DOI BibTeX RDF
1	Ahyoung Sung, Byoungju Choi	Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation.	FATES	2003	DBLP DOI BibTeX RDF
1	Harm M. A. van Beek, Sjouke Mauw	Automatic Conformance Testing of Internet Applications.	FATES	2003	DBLP DOI BibTeX RDF
1	Qiang Guo 0001, Robert M. Hierons, Mark Harman, Karnig Derderian	Computing Unique Input/Output Sequences Using Genetic Algorithms.	FATES	2003	DBLP DOI BibTeX RDF	UIOs, Genetic Algorithms, Optimisation, Conformance Testing, FSMs
1	Timo Aaltonen	Defining Observation Objectives for Reactive and Distributed Systems.	FATES	2003	DBLP DOI BibTeX RDF
1	Alper Sen 0001, Vijay K. Garg	On Checking Whether a Predicate Definitely Holds.	FATES	2003	DBLP DOI BibTeX RDF
1	Tao Xie 0001, David Notkin	Mutually Enhancing Test Generation and Specification Inference.	FATES	2003	DBLP DOI BibTeX RDF
1	Michael Barnett 0001, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes	Towards a Tool Environment for Model-Based Testing with AsmL.	FATES	2003	DBLP DOI BibTeX RDF
1	Ahmed Khoumsi, Thierry Jéron, Hervé Marchand	Test Cases Generation for Nondeterministic Real-Time Systems.	FATES	2003	DBLP DOI BibTeX RDF	Conformance test cases generation, Determinizable Timed Automata (DTA), Set-Exp-Automata (SEA), Real-time systems, Test architecture

Publications at "FATES"( http://dblp.L3S.de/Venues/FATES )