Alexandre Petrenko

Proceedings of the Testing of Software and Communicating Systems, 2008

Modular System Verification by Inference, Testing and Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2008

Specification Patterns for Formal Web Verification.

[BibT_eX]

[DOI]

May Haydar

Houari A. Sahraoui

Proceedings of the Eighth International Conference on Web Engineering, 2008

Test suite consistency verification.

[BibT_eX]

[DOI]

Proceedings of the 2008 East-West Design & Test Symposium, 2008

2007

Can a Model Checker Generate Tests for Non-Deterministic Systems?

[BibT_eX]

[DOI]

Roland Groz

Proceedings of the Third Workshop on Model Based Testing, 2007

Formal Verification of Business Workflows and Role Based Access Control Systems.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Emerging Security Information, 2007

Experimental Evaluation of Coverage Criteria for FSM-based Testing.

[BibT_eX]

[DOI]

Adenilso Simão

José Carlos Maldonado

Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2007

2006

A formal approach to property testing in causally consistent distributed traces.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2006

FSM Test Translation Through Context.

[BibT_eX]

[DOI]

Khaled El-Fakih

Proceedings of the Testing of Communicating Systems, 2006

Why Automata Models Are Sexy for Testers? (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2006

2005

Testing from Partial Deterministic FSM Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2005

Dynamic analysis of java applications for multithreaded antipatterns.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Multiplexing of Partially Ordered Events.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2005

Properties and scopes in web model checking.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Covering Transitions of Concurrent Systems through Queues.

[BibT_eX]

[DOI]

Jiale Huo

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2004

Confirming Configurations in EFSM Testing.

[BibT_eX]

[DOI]

Roland Groz

IEEE Trans. Software Eng., 2004

Antipattern-Based Detection of Deficiencies in Java Multithreaded Software.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

On Testing Partially Specified IOTS through Lossless Queues.

[BibT_eX]

[DOI]

Jiale Huo

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

Formal Verification of Web Applications Modeled by Communicating Automata.

[BibT_eX]

[DOI]

May Haydar

Houari A. Sahraoui

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Testing Transition Systems with Input and Output Testers.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

Jiale Huo

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

An Automata-Based Approach to Property Testing in Event Traces.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

Formal Modeling of Communication Traces.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Technology and its Applications, 2003

Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis.

[BibT_eX]

[DOI]

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

2002

Techniques for Abstracting SDL Specifications.

[BibT_eX]

[DOI]

Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

Test Generation for CEFSM Combining Specification and Fault Coverage.

[BibT_eX]

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

2001

Solution of Parallel Language Equations for Logic Synthesis.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Specification Based Testing: Towards Practice.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2001

2000

Verification and Testing of Concurrent Systems with Action Races.

[BibT_eX]

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Design of divergence-free protocol converters using supervisory control techniques.

[BibT_eX]

[DOI]

Hesham Hallal

Radu Negulescu

Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000

On Test Derivation from Partial Specifications.

[BibT_eX]

Proceedings of the Formal Techniques for Distributed System Development, 2000

1999

Test Generation Driven by User-defined Fault Models.

[BibT_eX]

I. Koufareva

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

Confirming configurations in EFSM.

[BibT_eX]

Roland Groz

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998

Test Generation for Specifications Modeled by Input/Output Automata.

[BibT_eX]

Q. M. Tan

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

Using Partial-Orders for Detecting Faults in Concurrent Systems.

[BibT_eX]

V. Chapenko

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

Solving Asynchronous Equations.

[BibT_eX]

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1997

Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing".

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1997

Automating the process of test derivation from SDL specifications.

[BibT_eX]

Proceedings of the SDL '97 Time for Testing, 1997

1996

Testing in context: framework and test derivation.

[BibT_eX]

[DOI]

Comput. Commun., 1996

On Fault Coverage of Tests for Finite State Specifications.

[BibT_eX]

[DOI]

Comput. Networks ISDN Syst., 1996

A Framework for Conformance Testing of Systems Communicating through Rendezvous.

[BibT_eX]

[DOI]

Q. M. Tan

Proceedings of the Digest of Papers: FTCS-26, 1996

Fault Models for Testing in Context.

[BibT_eX]

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

Modeling basic LOTOS by FSMs for conformance testing.

[BibT_eX]

Q. M. Tan

Proceedings of the Protocol Specification, 1995

1994

Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method.

[BibT_eX]

[DOI]

Gang Luo

IEEE Trans. Software Eng., 1994

Protocol Testing: Review of Methods and Relevance for Software Testing.

[BibT_eX]

[DOI]

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

Fault Coverage Analysis in Respect to an FSM Specification.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '94, 1994

A structural analysis approach to the evaluation of fault coverage for protocol conformance testing.

[BibT_eX]

Proceedings of the Formal Description Techniques VII, 1994

1993

Nondeterministic State Machines in Protocol Conformance Testing.

[BibT_eX]

Proceedings of the Protocol Test Systems, 1993

On Evaluation of Testability of Protocol Structures.

[BibT_eX]

Rachida Dssouli

Hartmut König

Proceedings of the Protocol Test Systems, 1993

Conformance Relations and Test Derivation.

[BibT_eX]

Rachida Dssouli

Proceedings of the Protocol Test Systems, 1993

Conformance Testing of Protocol Machines without Reset.

[BibT_eX]

Proceedings of the Protocol Specification, 1993

1992

Test Suite Generation from a FSM with a Given Type of Implementation Errors.

[BibT_eX]

Proceedings of the Protocol Specification, 1992

1991

Checking Experiments with Protocol Machines.

[BibT_eX]

Proceedings of the Protocol Test Systems, IV, 1991

1986

A Matrix-Based Approach to Test Sequences Generation for Protocol Implementations.

[BibT_eX]

Alfio Lombardo

Sergio Palazzo