Pos	Paper	Citations	Year
1	Model-based testing IoT communication via active automata learning	151	2017
2	AALpy: an active automata learning library	118	2022
3	Time for mutants—model-based mutation testing with timed automata	117	2013
4	Test case generation by OCL mutation and constraint solving	106	2005
5	Killing strategies for model‐based mutation testing	99	2015
6	Momut:: UML model-based mutation testing for UML	93	2015
7	Model learning and model-based testing	77	2018
8	Model-based mutation testing of an industrial measurement device	60	2014
9	Survey on test data generation tools: An evaluation of white-and gray-box testing tools for C#, C++, Eiffel, and Java	59	2014
10	A proof obligation generator for VDM-SL	52	1997
11	Learning-based fuzzing of IoT message brokers	51	2021
12	Mutation testing in the refinement calculus	51	2003
13	Time to Learn–Learning Timed Automata from Tests	51	2019
14	Efficient active automata learning via mutation testing	50	2019
15	From passive to active: learning timed automata efficiently	48	2020
16	From faults via test purposes to test cases: On the fault-based testing of concurrent systems	45	2006
17	Protocol conformance testing a SIP registrar: An industrial application of formal methods	45	2007
18	Connectors as designs: Modeling, refinement and test case generation	44	2012
19	Mutation testing in UTP	44	2009
20	Automated conformance verification of hybrid systems	43	2010
21	Fingerprinting and analysis of Bluetooth devices with automata learning	42	2022
22	Dependable Internet of Things for Networked Cars	41	2017
23		41	2019
24	Contract-based testing	40	2003
25	Efficient mutation killers in action	40	2011
26	Model-based mutation testing via symbolic refinement checking	40	2015
27	UML in action: a two-layered interpretation for testing	40	2011
28	Property-based testing of web services by deriving properties from business-rule models	39	2019
29	Validating voice communication requirements using lightweight formal methods	39	2000
30	Search-Based Testing of Reinforcement Learning	38	2022
31	Test-case calculation through abstraction	38	2001
32	Mapping UML to labeled transition systems for test-case generation: A translation via object-oriented action systems	37	2009
33	Probabilistic black-box reachability checking (extended version)	37	2019
34	Stateful black-box fuzzing of bluetooth devices using automata learning	36	2022
35	Automated black-box testing with abstract VDM oracles	34	1999
36	Integration of requirements engineering and test-case generation via OSLC	34	2014
37	Incremental refinement checking for test case generation	33	2013
38	On the Semantics of Componentware: A Coalgebraic Perspective	32	2006
39	Systematic black-box testing of computer-based systems through formal abstraction techniques	32	2001
40	Learning a behavior model of hybrid systems through combining model-based testing and machine learning	30	2019
41	Require, test, and trace IT	30	2017
42	Learning Finite State Models from Recurrent Neural Networks	29	2022
43	Model-based mutation testing of hybrid systems	29	2009
44		28	2021
45	Unifying input output conformance	28	2008
46	Fault-based conformance testing in practice	27	2009
47	Test case generation by contract mutation in Spec#	26	2009
48	Generating distinguishing tests using the minion constraint solver	25	2010
49	Handling model changes: Regression testing and test-suite update with model-checkers	25	2007
50	How fast is MQTT? Statistical model checking and testing of IoT protocols	24	2018
51	Efficient refinement checking for model-based mutation testing	23	2012
52	Improving fault-based conformance testing	22	2008
53	Learning and statistical model checking of system response times	22	2019
54	Towards a coalgebraic semantics of UML: Class diagrams and use cases	22	2003
55	Conformance testing of hybrid systems with qualitative reasoning models	20	2009
56	Formal specification of a voice communication system used in air traffic control an industrial application of light-weight formal methods using vdm	20	1999
57	Timed automata learning via SMT solving	20	2022
58	Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols	19	2022
59	Debugging with timed automata mutations	19	2014
60	Dynamic symbolic execution for testing distributed objects	19	2009
61	Reinforcement learning under partial observability guided by learned environment models	19	2023
62	Towards symbolic model-based mutation testing: Combining reachability and refinement checking	19	2012
63	Active model learning of stochastic reactive systems	18	2021
64	Automatic test case generation for OCL: a mutation approach	18	2005
65	Benchmarking combinations of learning and testing algorithms for automata learning	18	2024
66	Learning abstracted non-deterministic finite state machines	18	2020
67	Qualitative action systems	18	2009
68	Statistical model checking meets property-based testing	18	2017
69	Learning and repair of deep reinforcement learning policies from fuzz-testing data	17	2024
70	Model-based mutation testing of reactive systems: from semantics to automated test-case generation	17	2013
71	Modeling and testing multi-threaded asynchronous systems with Creol	17	2009
72	Symbolic input-output conformance checking for model-based mutation testing	17	2016
73	When BDDs fail: Conformance testing with symbolic execution and smt solving	17	2010
74	Formal methods for components and objects	16	2011
75	Formal specification techniques as a catalyst in validation	16	2000
76	Towards symbolic model-based mutation testing: Pitfalls in expressing semantics as constraints	15	2012
77	Automata learning for symbolic execution	14	2018
78	Benchmarking combinations of learning and testing algorithms for active automata learning	14	2020
79	Combining algebraic and model-based test case generation	14	2004
80	Credo methodology: Modeling and analyzing a peer-to-peer system in credo	14	2010
81	Bounded determinization of timed automata with silent transitions	13	2017
82	Component-based coalgebraic specification and verification in RSL	13	2002
83	Formal Methods for Components and Objects	13	2005
84	Formal test-driven development with verified test cases	13	2014
85	The formal foundations in RSL for UML statechart diagrams	13	2004
86	Conformance testing of distributed concurrent systems with executable designs	12	2008
87	Learning-based testing of an industrial measurement device	12	2019
88	Learning minimal automata with recurrent neural networks	12	2024
89	Property-based testing with external test-case generators	12	2017
90	Automatic test case generation for RAISE	11	2003
91	Checking response-time properties of web-service applications under stochastic user profiles	11	2017
92	Testing concurrent objects with application-specific schedulers	11	2008
93	A proof obligation generator for the IFAD VDM-SL Toolbox	10	1997
94	Automatic test case generation for OCL: A mutation approach	10	2006
95	Bounded determinization of timed automata with silent transitions	10	2015
96	Towards generation of adaptive test cases from partial models of determinized timed automata	10	2015
97	Automated requirements testing with abstract oracles	9	1998
98	Database development of a work-flow planning and tracking system using VDM-SL	9	1999
99	Test purpose generation in an industrial application	9	2007
100	A coalgebraic calculus for component based systems	8	2003
101	A formal modeling approach for portable low-level OS functionality	8	2020
102	Constrained training of recurrent neural networks for automata learning	8	2022
103	Dynamic symbolic execution of distributed concurrent objects	8	2009
104	Mining Digital Twins of a VPN Server	8	2023
105	It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data	7	2024
106	Learning timed automata via genetic programming	7	2018