Kirill Bogdanov

Inf. Softw. Technol., 2020

Observation Tree Approach: Active Learning Relying on Testing.

[BibT_eX]

[DOI]

Michal Soucha

Comput. J., 2020

2018

SPYH-Method: An Improvement in Testing of Finite-State Machines.

[BibT_eX]

[DOI]

Michal Soucha

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

2015

Graphical editing support for QuickCheck models.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014

Synapse: automatic behaviour inference and implementation comparison for Erlang.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

Automated Comparison of State-Based Software Models in Terms of Their Language and Structure.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

STAMINA: a competition to encourage the development and assessment of software model inference techniques.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2013

Automatic Inference of Erlang Module Behaviour.

[BibT_eX]

[DOI]

Ramsay Taylor

John Derrick

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

Using Behaviour Inference to Optimise Regression Test Sets.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2012

2011

Test Generation for X-machines with Non-terminal States and Priorities of Operations.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Increasing Functional Coverage by Inductive Testing: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2010

2009

Using formal specifications to support testing.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2009

Computing the Structural Difference between State-Based Models.

[BibT_eX]

[DOI]

Proceedings of the 16th Working Conference on Reverse Engineering, 2009

2008

Automated discovery of state transitions and their functions in source code.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2008

Improving dynamic software analysis by applying grammar inference principles.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 2008

Inferring Finite-State Models with Temporal Constraints.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Balanced FSM Generation for Empirical Studies.

[BibT_eX]

[DOI]

Sarah Salahuddin

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Evaluation and Comparison of Inferred Regular Grammars.

[BibT_eX]

[DOI]

Ken Johnson

Proceedings of the Grammatical Inference: Algorithms and Applications, 2008

Testing from X-Machine Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Testing, 2008

2007

Reverse Engineering State Machines by Interactive Grammar Inference.

[BibT_eX]

[DOI]

Proceedings of the 14th Working Conference on Reverse Engineering (WCRE 2007), 2007

2006

Testing methods for X-machines: a review.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2006

Identifying State Transitions and their Functions in Source Code.

[BibT_eX]

[DOI]

Proceedings of the Testing: Academia and Industry Conference, 2006

2004

Refinement in statechart testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2004

2002

FORTEST: Formal Methods and Testing.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Statechart testing method for aircraft control systems.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2001

2000

Automated testing of Harel's statecharts.

[BibT_eX]

[DOI]

PhD thesis, 2000

1998

Automated Test Set Generation for Statecharts.

[BibT_eX]

[DOI]