Pos	Paper	Citations	Year
1	A survey on software fault localization	1551	2016
2	Testing with model checkers: a survey	313	2009
3	Model-based diagnosis of hardware designs	276	1999
4	Finding critical scenarios for automated driving systems: A systematic mapping study	203	2022
5	A variant of Reiter's hitting-set algorithm	163	2001
6	Ontology-based test generation for automated and autonomous driving functions	151	2020
7	Automatic software bug triage system (bts) based on latent semantic indexing and support vector machine	133	2009
8	On the relationship between model-based debugging and program slicing	118	2002
9	Diagnosing tree-structured systems	116	2001
10	Forecasting red tides using an hybrid neuro‐symbolic system	108	2003
11	Avoiding, finding and fixing spreadsheet errors–a survey of automated approaches for spreadsheet QA	100	2014
12	Model-based debugging or how to diagnose programs automatically	100	2002
13	Using ontologies for test suites generation for automated and autonomous driving functions	97	2018
14	Genetic algorithm-based test parameter optimization for ADAS system testing	95	2019
15	Redundancy based test-suite reduction	95	2007
16	Model-based diagnosis or reasoning from first principles	89	2005
17	Chatbot testing using AI planning	87	2019
18	Debugging functional programs	87	1999
19	Chatbot-based Tourist Recommendations Using Model-based Reasoning	84	2018
20	Testing methods used in the automotive industry: Results from a survey	83	2014
21	On the empirical evaluation of fault localization techniques for spreadsheets	81	2013
22	Automated source-level error localization in hardware designs	76	2006
23	The Route to Success-A Performance Comparison of Diagnosis Algorithms	76	2013
24	Detecting and locating faults in the control software of autonomous mobile robots	71	2005
25	Finding critical scenarios for automated driving systems: A systematic literature review	68	2021
26	Potential of heterogeneity in collective behaviors: A case study on heterogeneous swarms	67	2015
27	Real-time diagnosis and repair of faults of robot control software	64	2005
28	On the industrial application of combinatorial testing for autonomous driving functions	63	2019
29	Automated debugging based on a constraint model of the program and a test case	59	2012
30	Fault localization based on dynamic slicing and hitting-set computation	57	2010
31	On the empirical evaluation of similarity coefficients for spreadsheets fault localization	57	2015
32	Spectrum Enhanced Dynamic Slicing for better Fault Localization	53	2012
33	Improving robustness of mobile robots using model-based reasoning	52	2007
34	Issues in using model checkers for test case generation	50	2009
35	WeCoTin–A practical logic-based sales configurator	49	2013
36	Attack pattern-based combinatorial testing with constraints for web security testing	48	2015
37	Model-based debugging of Java programs	48	2000
38	From neural networks to qualitative models in environmental engineering	47	2002
39	Model-based reconfiguration	47	1998
40	Simultate: A toolset for fault injection and mutation testing of simulink models	46	2016
41	Protocol conformance testing a SIP registrar: An industrial application of formal methods	45	2007
42	Using constraints to diagnose faulty spreadsheets	44	2015
43	Model-based fault diagnosis and reconfiguration of robot drives	42	2007
44	Using constraints for equivalent mutant detection	42	2012
45	A Value-Based Diagnosis Model for Java Programs Ѓ	41	2007
46	A survey of intelligent debugging	40	1998
47	Debugging hardware designs using a value-based model	40	2002
48	Security testing for chatbots	40	2018
49	Testing chatbots using metamorphic relations	40	2019
50	A novel industry grade dataset for fault prediction based on model-driven developed automotive embedded software	39	2015
51	Debugging of Java programs using a model-based approach	39	1999
52	Fault detection in multi-threaded C++ server applications	39	2007
53	Using model-checkers to generate and analyze property relevant test-cases	39	2008
54	Xss pattern for attack modeling in testing	39	2013
55	Can ai help to improve debugging substantially? debugging experiences with value-based models	38	2002
56	An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems	37	2023
57	Constraint-based Debugging of Spreadsheets	37	2012
58	Performance comparison of two search-based testing strategies for ADAS system validation	37	2019
59	Attack pattern-based combinatorial testing	36	2014
60	Security testing based on attack patterns	36	2014
61	Using LTL rewriting to improve the performance of model-checker based test-case generation	36	2007
62	Asynchronous input-output conformance testing	35	2009
63	Model-based reasoning using answer set programming	35	2022
64	On using k-means clustering for test suite reduction	35	2020
65	Using tri-relation networks for effective software fault-proneness prediction	34	2019
66	Evaluation of the IPO-family algorithms for test case generation in web security testing	33	2015
67	From ontologies to input models for combinatorial testing	33	2018
68	Property relevant software testing with model-checkers	33	2006
69	Test-case prioritization with model-checkers	33	2007
70	Testing autonomous and highly configurable systems: Challenges and feasible solutions	33	2016
71	Debugging VHDL designs using model-based reasoning	32	2000
72	Quality assurance methodologies for automated driving	32	2018
73	On the use of mutations and testing for debugging	31	2013
74	ConDiag-computing minimal diagnoses using a constraint solver	30	2012
75	Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis	30	2006
76	Model-based program debugging and repair	29	2022
77	Mutant minimization for model-checker based test-case generation	28	2007
78	Performance tuning for automotive software fault prediction	28	2017
79	Testing TLS using planning-based combinatorial methods and execution framework	28	2019
80	The right choice matters! SMT solving substantially improves model-based debugging of spreadsheets	28	2013
81	Fault-based conformance testing in practice	27	2009
82	Fstaxis algorithm: Bio-inspired emergent gradient taxis	27	2016
83	PURITY: a Planning-based secURITY testing tool	27	2015
84	Automatically extracting mock object behavior from design by contract™ specification for test data generation	26	2010
85	Gui savvy end-to-end testing with smart monkeys	26	2009
86	Local maximum ozone concentration prediction using soft computing methodologies	26	2003
87	Verification and fault localization for VHDL programs	26	2002
88	A conceptual model to facilitate knowledge sharing for bulking solving in wastewater treatment plants	25	2003
89	Efficient model-based diagnosis of sequential circuits	25	2020
90	Generating distinguishing tests using the minion constraint solver	25	2010
91	Impact analysis of SCRs using single and multi-label machine learning classification	25	2010
92	On the compilation of programs into their equivalent constraint representation	25	2008
93	On the complexity of program debugging using constraints for modeling the program’s syntax and semantics	25	2009
94	Qualitative models of interactions between two populations	25	2003
95	Software fault localization: An overview of research, techniques, and tools	25	2023
96	Applying model-based diagnosis to software debugging of concurrent and sequential imperative programming languages	24	2003
97	A teleo-reactive architecture for fast, reactive and robust control of mobile robots	24	2008
98	Feature selection for air quality forecasting: a genetic algorithm approach	24	2003
99	Challenges of knowledge evolution in practice	23	2013
100	Coupling CSP decomposition methods and diagnosis algorithms for tree-structured systems	23	2003
101	Handling model changes: Regression testing and test-suite update with model-checkers	23	2007
102	On the use of answer set programming for model-based diagnosis	23	2020
103	Plan execution in dynamic environments	23	2005
104	Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS	23	2009
105	Test-case generation and coverage analysis for nondeterministic systems using model-checkers	23	2007
106	From conflicts to diagnoses: An empirical evaluation of minimal hitting set algorithms	22	2011
107	Improving fault-based conformance testing	22	2008
108	Introducing alias information into model-based debugging	22	2004
109	Model-based reasoning for self-adaptive systems–theory and practice	22	2013
110	Reasoning from first principles for self-adaptive and autonomous systems	22	2019