Test case generation for agent-based models: A systematic literature review

[1]  R. Viner,et al.  Determining the optimal strategy for reopening schools, work and society in the UK: balancing earlier opening and the impact of test and trace strategies with the risk of occurrence of a secondary COVID-19 pandemic wave , 2020, medRxiv.

[2]  Stewart T. Chang,et al.  Covasim: An agent-based model of COVID-19 dynamics and interventions , 2020, medRxiv.

[3]  Bruce Edmonds,et al.  Computational Models That Matter During a Global Pandemic Outbreak: A Call to Action , 2020, J. Artif. Soc. Soc. Simul..

[4]  Donovan Platt,et al.  A Comparison of Economic Agent-Based Model Calibration Methods , 2019, Journal of Economic Dynamics and Control.

[5]  Mark E. Paddrik,et al.  Interbank Contagion: An Agent-Based Model Approach to Endogenously Formed Networks , 2016, Journal of Banking & Finance.

[6]  Richard D Riley,et al.  Prediction models for diagnosis and prognosis of covid-19 infection: systematic review and critical appraisal , 2020 .

[7]  Peer-Olaf Siebers,et al.  Show me your properties: the potential of property-based testing in agent-based simulation , 2019, SummerSim.

[8]  Farid Mokhati,et al.  A Novel Test Case Generation Approach based on AUML sequence diagram , 2019, 2019 International Conference on Networking and Advanced Systems (ICNAS).

[9]  Giorgio Fagiolo,et al.  Validation of Agent-Based Models in Economics and Finance , 2019, Simulation Foundations, Methods and Applications.

[10]  Kellyn F Arnold,et al.  DAG-informed regression modelling, agent-based modelling and microsimulation modelling: a critical comparison of methods for causal inference , 2018, International journal of epidemiology.

[11]  He TAN,et al.  Lessons Learned from an Application of Ontologies in Software Testing , 2019, JOWO.

[12]  Yves Le Traon,et al.  Chapter Six - Mutation Testing Advances: An Analysis and Survey , 2019, Adv. Comput..

[13]  Rajesh Bhatia,et al.  A Systematic Review of Agent-Based Test Case Generation for Regression Testing , 2018 .

[14]  Magdalena Cerdá,et al.  Agent-Based Modeling in Public Health: Current Applications and Future Directions , 2018, Annual review of public health.

[15]  Ali Selamat,et al.  Agent systems verification : systematic literature review and mapping , 2018, Applied intelligence (Boston).

[16]  Stephen J Mooney,et al.  Invited Commentary: Agent-Based Models-Bias in the Face of Discovery. , 2017, American journal of epidemiology.

[17]  B. Hammond.  Ontology , 2004, Lawrence Booth’s Book of Visions.

[18]  Xin Huang,et al.  A Map of Threats to Validity of Systematic Literature Reviews in Software Engineering , 2016, 2016 23rd Asia-Pacific Software Engineering Conference (APSEC).

[19]  H. Hashimoto,et al.  Dynamic impact of social stratification and social influence on smoking prevalence by gender: An agent-based model. , 2015, Social science & medicine.

[20]  Mourad Badri,et al.  Testing HMAS-based applications: An ASPECS-based approach , 2015, Eng. Appl. Artif. Intell..

[21]  Mariela Inés Cortés,et al.  MAS-ML 2.0: Supporting the modelling of multi-agent systems with different agent architectures , 2015, J. Syst. Softw..

[22]  Kai Petersen,et al.  Guidelines for conducting systematic mapping studies in software engineering: An update , 2015, Inf. Softw. Technol..

[23]  Mark Harman,et al.  The Oracle Problem in Software Testing: A Survey , 2015, IEEE Transactions on Software Engineering.

[24]  Dimitris Dranidis,et al.  Stream X-Machines for Agent Simulation Test Case Generation , 2015, ICAART.

[25]  Marina Bagić Babac,et al.  AgentTest: A specification language for agent-based system testing , 2014, Neurocomputing.

[26]  James M. Bieman,et al.  Testing scientific software: A systematic literature review , 2014, Inf. Softw. Technol..

[27]  Michael D. Ernst,et al.  Defects4J: a database of existing faults to enable controlled testing studies for Java programs , 2014, ISSTA 2014.

[28]  Mourad Badri,et al.  A novel conformance testing technique for Agent Interaction Protocols , 2013, 2013 Science and Information Conference.

[29]  Lin Padgham,et al.  Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems , 2013, IEEE Transactions on Software Engineering.

[30]  Marouane Kessentini,et al.  Preference-Based Many-Objective Evolutionary Testing Generates Harder Test Cases for Autonomous Agents , 2013, SSBSE.

[31]  Myra B. Cohen,et al.  An orchestrated survey of methodologies for automated software test case generation , 2013, J. Syst. Softw..

[32]  J. Euzenat,et al.  Ontology Matching , 2007, Springer Berlin Heidelberg.

[33]  Lionel C. Briand,et al.  Random Testing: Theoretical Results and Practical Implications , 2012, IEEE Transactions on Software Engineering.

[34]  Patrice Godefroid,et al.  SAGE: Whitebox Fuzzing for Security Testing , 2012, ACM Queue.

[35]  Andrew Crooks,et al.  Introduction to Agent-Based Modelling , 2012 .

[36]  Andrew Crooks,et al.  Agent-based Models of Geographical Systems , 2012 .

[37]  Roozbeh Farahbod,et al.  Generating test cases for marine safety and security scenarios: a composition framework , 2011, Security Informatics.

[38]  George Eleftherakis,et al.  A methodology for developing component-based agent systems focusing on component quality , 2011, 2011 Federated Conference on Computer Science and Information Systems (FedCSIS).

[39]  Vanessa Frías-Martínez,et al.  An Agent-Based Model of Epidemic Spread Using Human Mobility and Social Network Information , 2011, 2011 IEEE Third Int'l Conference on Privacy, Security, Risk and Trust and 2011 IEEE Third Int'l Conference on Social Computing.

[40]  Mark Harman,et al.  An Analysis and Survey of the Development of Mutation Testing , 2011, IEEE Transactions on Software Engineering.

[41]  Mats Per Erik Heimdahl,et al.  Programs, tests, and oracles: the foundations of testing revisited , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[42]  Lin Padgham,et al.  Scenarios for system requirements traceability and testing , 2011, AAMAS.

[43]  Belkacem Athamena,et al.  Structured Integration Test Suite Generation Process for Multi-Agent System , 2011 .

[44]  Michael Luck,et al.  Evolutionary testing of autonomous software agents , 2009, Autonomous Agents and Multi-Agent Systems.

[45]  K. Claessen,et al.  QuickCheck: a lightweight tool for random testing of Haskell programs , 2000, SIGP.

[46]  S. N. Sivanandam,et al.  A SURVEY ON AUTOMATIC TEST CASE GENERATION , 2011 .

[47]  Zoltán Szatmári,et al.  Ontology-based Test Data Generation using Metaheuristics , 2011, ICINCO.

[48]  Phil McMinn,et al.  Mutation Operators for Agent-Based Models , 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.

[49]  Tsvi Kuflik,et al.  An empirical study of requirements model understanding: Use Case vs. Tropos models , 2010, SAC '10.

[50]  George A. Vouros,et al.  Survey and Evaluation of Agent-Oriented Software Engineering Main Approaches , 2010 .

[51]  Stefan Biffl,et al.  Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems , 2010, SEKE.

[52]  Silvia Mara Abrahão,et al.  Requirements Engineering in the Development of Multi-Agent Systems: A Systematic Review , 2009, IDEAL.

[53]  John Thangarajah,et al.  Testing in Multi-Agent Systems , 2009, AOSE.

[54]  Lin Padgham,et al.  Automated Testing for Intelligent Agent Systems , 2009, AOSE.

[55]  Robert M. Hierons,et al.  Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) , 2009, 2009 International Conference on Software Testing Verification and Validation.

[56]  Alessandra Cavarra,et al.  A data-flow approach to test multi-agent ASMs , 2009, Formal Aspects of Computing.

[57]  Anna Perini,et al.  Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems , 2009, AOSE.

[58]  Michael Winikoff,et al.  A Unified Graphical Notation for AOSE , 2009, AOSE.

[59]  Anna Perini,et al.  Ontology-based test generation for multiagent systems , 2008, AAMAS.

[60]  Anna Perini,et al.  eCAT: a tool for automating test cases generation and execution in testing multi-agent systems , 2008, AAMAS.

[61]  Zaïdi Sahnoun,et al.  A Recursive Colored Petri Nets semantics for AUML as base of test case generation , 2008, 2008 IEEE/ACS International Conference on Computer Systems and Applications.

[62]  Patrice Godefroid,et al.  Automated Whitebox Fuzz Testing , 2008, NDSS.

[63]  Carlos José Pereira de Lucena,et al.  JAT: A Test Automation Framework for Multi-Agent Systems , 2007, 2007 IEEE International Conference on Software Maintenance.

[64]  Bertrand Meyer,et al.  Contract driven development = test driven development - writing test cases , 2007, ESEC-FSE '07.

[65]  Zaïdi Sahnoun,et al.  A Formal Approach for Functional and Structural Test Case Generation in Multi-Agent Systems , 2007, 2007 IEEE/ACS International Conference on Computer Systems and Applications.

[66]  Mario Piattini,et al.  Ontologies for Software Engineering and Software Technology , 2010 .

[67]  Pearl Brereton,et al.  Performing systematic literature reviews in software engineering , 2006, ICSE.

[68]  Rudolf Ramler,et al.  Economic perspectives in test automation: balancing automated and manual testing with opportunity cost , 2006, AST '06.

[69]  Riza Cenk Erdur,et al.  SUNIT: A Unit Testing Framework for Test Driven Development of Multi-Agent Systems , 2006, AOSE.

[70]  Vangalur S. Alagar,et al.  Conformance testing of BDI properties in agent-based software , 2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05).

[71]  Reiko Heckel,et al.  Towards Contract-based Testing of Web Services , 2005, Electron. Notes Theor. Comput. Sci..

[72]  Ulf Bergmann,et al.  Experiencing AUML for MAS Modeling : A Critical View , 2005 .

[73]  Michael Luck,et al.  Agent technology, Computing as Interaction: A Roadmap for Agent Based Computing , 2005 .

[74]  Phil McMinn,et al.  Search‐based software test data generation: a survey , 2004, Softw. Test. Verification Reliab..

[75]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[76]  Tsong Yueh Chen,et al.  Automated Test Case Generation for BDI Agents , 1999, Autonomous Agents and Multi-Agent Systems.

[77]  Michael Winikoff,et al.  Developing intelligent agent systems - a practical guide , 2004, Wiley series in agent technology.

[78]  Klaus Fischer,et al.  Holonic Multiagent Systems , 2003, Künstliche Intell..

[79]  Narciso Martí-Oliet,et al.  Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[80]  Alan Hartman,et al.  Projected state machine coverage for software testing , 2002, ISSTA '02.

[81]  Michael Winikoff,et al.  Prometheus: a methodology for developing intelligent agents , 2002, AAMAS '02.

[82]  Kalyanmoy Deb,et al.  A fast and elitist multiobjective genetic algorithm: NSGA-II , 2002, IEEE Trans. Evol. Comput..

[83]  Alessandro Orso,et al.  Regression test selection for Java software , 2001, OOPSLA '01.

[84]  Onn Shehory,et al.  Evaluation of modeling techniques for agent-based systems , 2001, AGENTS '01.

[85]  Hans Jochen Scholl,et al.  Agent-based and system dynamics modeling: a call for cross study and joint research , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[86]  Bernhard Bauer,et al.  Agent UML : A formalism for specifying multiagent interaction , 2001 .

[87]  Serge Haddad,et al.  Theoretical Aspects of Recursive Petri Nets , 1999, ICATPN.

[88]  J. Goldstein.  Emergence as a Construct: History and Issues , 1999 .

[89]  D R Shearer,et al.  Acceptance testing. , 1998, Radiology management.

[90]  Hong Zhu,et al.  Software unit test coverage and adequacy , 1997, ACM Comput. Surv..

[91]  Matt Bishop,et al.  Property-based testing: a new approach to testing for assurance , 1997, SOEN.

[92]  Joshua M. Epstein,et al.  Growing Artificial Societies: Social Science from the Bottom Up , 1996 .

[93]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[94]  Bogdan Korel,et al.  Assertion-oriented automated test data generation , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[95]  Paul C. Jorgensen,et al.  Software Testing: A Craftsman's Approach , 1995 .

[96]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[97]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[98]  Darrell Whitley,et al.  A genetic algorithm tutorial , 1994, Statistics and Computing.

[99]  W. Eric Wong,et al.  An empirical comparison of data flow and mutation‐based test adequacy criteria , 1994, Softw. Test. Verification Reliab..

[100]  R. Hamlet.  RANDOM TESTING , 1994 .

[101]  Kwang-Ting Cheng,et al.  Automatic Functional Test Generation Using The Extended Finite State Machine Model , 1993, 30th ACM/IEEE Design Automation Conference.

[102]  Gilbert Thomas Laycock,et al.  The theory and practice of specification based software testing , 1993 .

[103]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[104]  Roy S. Freedman,et al.  Testability of Software Components , 1991, IEEE Trans. Software Eng..

[105]  Lawrence. Davis,et al.  Handbook Of Genetic Algorithms , 1990 .

[106]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[107]  Elaine J. Weyuker,et al.  Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.

[108]  S. Wolfram.  Statistical mechanics of cellular automata , 1983 .

[109]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[110]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[111]  Alexander Grey,et al.  The Mathematical Theory of Infectious Diseases and Its Applications , 1977 .

[112]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[113]  S. Seshu,et al.  Introduction to the theory of finite-state machines , 1963 .

[114]  C. Petri.  Kommunikation mit Automaten , 1962 .