FATES/RV - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 67 from 67

2006

Deterministic Dynamic Monitors for Linear-Time AssertionsRoy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar. fates 2006: 163-177 [doi]

Aspects for Trace MonitoringPavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie J. Hendren, Ondřej Lhoták, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere. fates 2006: 20-39 [doi]

Safety Property Driven Test Generation fromFabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand. fates 2006: 225-239 [doi]

Goldilocks: Efficiently Computing the Happens-Before Relation Using LocksetsTayfun Elmas, Shaz Qadeer, Serdar Tasiran. fates 2006: 193-208 [doi]

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search RefinementJuhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain. fates 2006: 85-99 [doi]

Robustness of Temporal Logic SpecificationsGeorgios E. Fainekos, George J. Pappas. fates 2006: 178-192 [doi]

A Test Calculus Framework Applied to Network Security PoliciesYliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. fates 2006: 55-69 [doi]

Dynamic Architecture ExtractionCormac Flanagan, Stephen N. Freund. fates 2006: 209-224 [doi]

A Symbolic Framework for Model-Based TestingLars Frantzen, Jan Tretmans, Tim A. C. Willemse. fates 2006: 40-54 [doi]

Multi-paradigmatic Model-Based TestingWolfgang Grieskamp. fates 2006: 1-19 [doi]

Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected PapersWolfgang Grieskamp, Carsten Weise, editors, Volume 3997 of Lecture Notes in Computer Science, Springer, 2006.

Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected PapersKlaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff, editors, Volume 4262 of Lecture Notes in Computer Science, Springer, 2006.

Model-Based Testing of Thin-Client Web ApplicationsPieter W. M. Koopman, Marinus J. Plasmeijer, Peter Achten. fates 2006: 115-132 [doi]

State-Identification Problems for Finite-State TransducersMoez Krichen, Stavros Tripakis. fates 2006: 148-162 [doi]

Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented SystemsCheng Li, Zhe Dang. fates 2006: 100-114 [doi]

Synthesis of Scenario Based Test Cases from B ModelsManoranjan Satpathy, Qaisar A. Malik, Johan Lilius. fates 2006: 133-147 [doi]

Hybrid Input-Output Conformance and Test GenerationMichiel van Osch. fates 2006: 70-84 [doi]

Online Testing with Reinforcement LearningMargus Veanes, Pritam Roy, Colin Campbell. fates 2006: 240-253 [doi]

2005

Testing from Algebraic Specifications: Test Data Set Selection by Unfolding AxiomsMarc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre. fates 2006: 203-217 [doi]

Play to TestAndreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes. fates 2006: 32-46 [doi]

Simulated Time for Testing Railway Interlockings with TTCN-3Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova. fates 2006: 1-15 [doi]

Interactive Testing with HOL-TestGenAchim D. Brucker, Burkhart Wolff. fates 2006: 87-102 [doi]

Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected PapersJens Grabowski, Brian Nielsen, editors, Volume 3395 of Lecture Notes in Computer Science, Springer, 2005.

A Note on an Anomaly in Black-Box TestingAntti Huima. fates 2006: 47-61 [doi]

Calculating Probabilities of Real-Time Test CasesMarcin Jurdzinski, Doron Peled, Hongyang Qu. fates 2006: 134-151 [doi]

Model-Based Testing Through a GUIAntti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara. fates 2006: 16-31 [doi]

Adaptive Random Testing by Bisection and LocalizationJohannes Mayer. fates 2006: 72-86 [doi]

Conformance Testing Relations for Timed SystemsManuel Núñez, Ismael Rodríguez. fates 2006: 103-117 [doi]

Time Unbalanced Partial OrderDoron Peled, Hongyang Qu. fates 2006: 152-169 [doi]

Conformance Tests as Checking Experiments for Partial Nondeterministic FSMAlexandre Petrenko, Nina Yevtushenko. fates 2006: 118-133 [doi]

A Novel Test Coverage Metric for Concurrently-Accessed Software ComponentsSerdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu. fates 2006: 62-71 [doi]

Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional ApproachGaoyan Xie, Zhe Dang. fates 2006: 170-186 [doi]

Automated Generation of Positive and Negative Tests for ParsersSergey V. Zelenov, Sophia A. Zelenova. fates 2006: 187-202 [doi]

2004

Semi-formal Development of a Fault-Tolerant Leader Election Protocol in ErlangThomas Arts, Koen Claessen, Hans Svensson. fates 2005: 140-154 [doi]

Specifying and Generating Test Cases Using Observer AutomataJohan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson. fates 2005: 125-139 [doi]

Testing Deadlock-Freeness in Real-Time Systems: A Formal ApproachBehzad Bordbar, Kozo Okano. fates 2005: 95-109 [doi]

A Test Generation Framework for ::::quiescent:::: Real-Time SystemsLaura Brandán Briones, Ed Brinksma. fates 2005: 64-78 [doi]

Symbolic Test Case Generation for Primitive Recursive FunctionsAchim D. Brucker, Burkhart Wolff. fates 2005: 16-32 [doi]

Preserving Contexts for Soft Conformance RelationDavid de Frutos-Escrig, Carlos Gregorio-Rodríguez. fates 2005: 33-48 [doi]

Test Generation Based on Symbolic SpecificationsLars Frantzen, Jan Tretmans, Tim A. C. Willemse. fates 2005: 1-15 [doi]

Using Model Checking for Reducing the Cost of Test GenerationHyoung Seok Hong, Hasan Ural. fates 2005: 110-124 [doi]

Ordering Mutants to Minimise Test Effort in Mutation TestingKalpesh Kapoor, Jonathan P. Bowen. fates 2005: 195-209 [doi]

Online Testing of Real-time Systems Using UppaalKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen. fates 2005: 79-94 [doi]

Testing of Symbolic-Probabilistic SystemsNatalia López, Manuel Núñez, Ismael Rodríguez. fates 2005: 49-63 [doi]

Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003Alexandre Petrenko, Andreas Ulrich, editors, Volume 2931 of Lecture Notes in Computer Science, Springer, 2004.

Test Patterns with TTCN-3Alain Vouffo-Feudjio, Ina Schieferdecker. fates 2005: 170-179 [doi]

High-Level Restructuring of TTCN-3 Test DataAntal Wu-Hen-Chang, Dung Le Viet, Gabor Batori, Roland Gecse, Gyula Csopaki. fates 2005: 180-194 [doi]

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified ComponentsGaoyan Xie, Zhe Dang. fates 2005: 155-169 [doi]

Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical StudyHoijin Yoon, Eunhee Kim, Joo Young Seo, Byoungju Choi. fates 2005: 210-224 [doi]

2003

Defining Observation Objectives for Reactive and Distributed SystemsTimo Aaltonen. fates 2004: 101-113 [doi]

A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration DiagramsMourad Badri, Linda Badri, Marius Naha. fates 2004: 223-235 [doi]

Towards a Tool Environment for Model-Based Testing with AsmLMichael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. fates 2004: 252-266 [doi]

Property Oriented Test Case GenerationJean-Claude Fernandez, Laurent Mounier, Cyril Pachon. fates 2004: 147-163 [doi]

Computing Unique Input/Output Sequences Using Genetic AlgorithmsQiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian. fates 2004: 164-177 [doi]

Auto-generating Test Sequences Using Model Checkers: A Case StudyMats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao. fates 2004: 42-59 [doi]

Automatic Generation of Test Purposes for Testing Distributed SystemsOlaf Henniger, Miao Lu, Hasan Ural. fates 2004: 178-191 [doi]

Time-Optimal Real-Time Test Case Generation Using UppaalAnders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou. fates 2004: 114-130 [doi]

Using a Software Testing Technique to Improve Theorem ProvingReiner Hähnle, Angela Wallenburg. fates 2004: 30-41 [doi]

Test Cases Generation for Nondeterministic Real-Time SystemsAhmed Khoumsi, Thierry Jéron, Hervé Marchand. fates 2004: 131-146 [doi]

VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing ProfileSita Ramakrishnan. fates 2004: 236-251 [doi]

On Checking Whether a Predicate Definitely HoldsAlper Sen, Vijay K. Garg. fates 2004: 15-29 [doi]

Interaction Testing in an Embedded System Using Hardware Fault Injection and Program MutationAhyoung Sung, Byoungju Choi. fates 2004: 192-204 [doi]

Black-Box Testing of Grey-Box BehaviorBenjamin Tyler, Neelam Soundarajan. fates 2004: 1-14 [doi]

Automatic Conformance Testing of Internet ApplicationsHarm M. A. van Beek, Sjouke Mauw. fates 2004: 205-222 [doi]

Compositional Testing with iocoMachiel van der Bijl, Arend Rensink, Jan Tretmans. fates 2004: 86-100 [doi]

Mutually Enhancing Test Generation and Specification InferenceTao Xie, David Notkin. fates 2004: 60-69 [doi]

JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnitGuoqing Xu, Zongyuang Yang. fates 2004: 70-85 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

FATES/RV (fates)

Viewing Publication 1 - 67 from 67

2006

2005

2004

2003

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

FATES/RV (fates)

Viewing Publication 1 - 67 from 67

2006

2005

2004

2003

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1