Advanced search
Publication Cover
International Journal of Computer Mathematics Volume 63, 1997 - Issue 3-4
Submit an article Journal homepage
168
Views
65
CrossRef citations to date
0
Altmetric
Original Articles

An integration testing method that is proved to find all faults

Florentin Ipate Correct Systems Research Group, Department of Computer Science, University of Sheffield, Regent Court, Portobello Street, Sheffield, SI 4DP, UK
&
Mike Holcombe Correct Systems Research Group, Department of Computer Science, University of Sheffield, Regent Court, Portobello Street, Sheffield, SI 4DP, UK
Pages 159-178 | Received 05 Aug 1995, Published online: 20 Mar 2007

Citations (65)

Keep up to date with the latest research on this topic with citation updates for this article.

Subscribe to citation updates

Read on this site (3)

Mike Stannett. (2014) Specification, testing and verification of unconventional computations using generalized X-machines. International Journal of General Systems 43:7, pages 713-721.
Read now
D. Kourtesis, E. Ramollari, D. Dranidis & I. Paraskakis. (2010) Increased reliability in SOA environments through registry-based conformance testing of Web services. Production Planning & Control 21:2, pages 130-144.
Read now
Florentin Ipate & Mike Holcombe. (1998) A method for refining and testing generalised machine specifications. International Journal of Computer Mathematics 68:3-4, pages 197-219.
Read now

Articles from other publishers (62)

Khoa Phung, Emmanuel Ogunshile & Mehmet Aydin. (2023) Error-Type—A Novel Set of Software Metrics for Software Fault Prediction. IEEE Access 11, pages 30562-30574.
Crossref
Kamalendu Pal. 2022. Research Anthology on Agile Software, Software Development, and Testing. Research Anthology on Agile Software, Software Development, and Testing 1090 1108 .
Kamalendu Pal & Bill Karakostas. 2022. Research Anthology on Agile Software, Software Development, and Testing. Research Anthology on Agile Software, Software Development, and Testing 1059 1076 .
K. Phung, D. Jayatilake, E. Ogunshile & M. Aydin. (2021) A Stream X-Machine Tool for Modelling and Generating Test Cases for Chronic Diseases Based on State-Counting Approach. Programming and Computer Software 47:8, pages 765-777.
Crossref
Khoa Phung, Emmanuel Ogunshile & Mehmet Aydin. (2021) A Novel Software Fault Prediction Approach To Predict Error-type Proneness in the Java Programs Using Stream X-Machine and Machine Learning. A Novel Software Fault Prediction Approach To Predict Error-type Proneness in the Java Programs Using Stream X-Machine and Machine Learning.
Kamalendu Pal & Bill Karakostas. 2021. Agile Scrum Implementation and Its Long-Term Impact on Organizations. Agile Scrum Implementation and Its Long-Term Impact on Organizations 114 131 .
Anthony J. H. Simons & Raluca Lefticaru. (2020) A verified and optimized Stream X‐Machine testing method, with application to cloud service certification. Software Testing, Verification and Reliability 30:3.
Crossref
Kamalendu Pal. 2020. Software Engineering for Agile Application Development. Software Engineering for Agile Application Development 212 229 .
Raluca Lefticaru, Mehmet Emin Bakir, Savas Konur, Mike Stannett & Florentin Ipate. 2018. Membrane Computing. Membrane Computing 183 195 .
Raluca Lefticaru, Savas Konur, Unal Yildirim, Amad Uddin, Felician Campean & Marian Gheorghe. (2017) Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering. Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering.
Zhong Sheng Qian. (2017) SXM-Based Web Test Generation with Respect to Logic Coverage Criteria. International Journal of Software Engineering and Knowledge Engineering 27:04, pages 539-573.
Crossref
Dominik Holling, Andreas Hofbauer, Alexander Pretschner & Matthias Gemmar. (2016) Profiting from Unit Tests for Integration Testing. Profiting from Unit Tests for Integration Testing.
Florentin Ipate & Dimitris Dranidis. (2016) A unified integration and component testing approach from deterministic stream X-machine specifications. Formal Aspects of Computing 28:1, pages 1-20.
Crossref
M. Stannett & M. Gheorghe. (2015) Integration testing of heterotic systems. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 373:2046, pages 20140222.
Crossref
Ilias Sakellariou, Dimitris Dranidis, Marina Ntika & Petros Kefalas. 2015. Agents and Artificial Intelligence. Agents and Artificial Intelligence 37 57 .
Raluca Lefticaru & Anthony J. H. Simons. 2015. Advances in Service-Oriented and Cloud Computing. Advances in Service-Oriented and Cloud Computing 175 189 .
Anthony J. H. Simons, Konstantinos Bratanis, Dimitrios Kourtesis, Iraklis Paraskakis, Simeon Veloudis, Yiannis Verginadis, Gregoris Mentzas, Simone Braun & Alessandro Rossini. (2014) Advanced service brokerage capabilities as the catalyst for future cloud service ecosystems. Advanced service brokerage capabilities as the catalyst for future cloud service ecosystems.
Petros Kefalas, Ilias Sakellariou, Dionysios Basakos & Ioanna Stamatopoulou. 2014. Artificial Intelligence: Methods and Applications. Artificial Intelligence: Methods and Applications 237 250 .
Mariam Kiran, Andreas Friesen, Anthony J. H. Simons & Wolfgang K. R. Schwach. 2014. Service-Oriented Computing – ICSOC 2013 Workshops. Service-Oriented Computing – ICSOC 2013 Workshops 192 208 .
I. Stamatopoulou, I. Sakellariou & P. Kefalas. (2012) Formal Agent-Based Modelling and Simulation of Crowd Behaviour in Emergency Evacuation Plans. Formal Agent-Based Modelling and Simulation of Crowd Behaviour in Emergency Evacuation Plans.
Petros Kefalas, Ioanna Stamatopoulou & Dionysios Basakos. (2012) Formal modelling of agents acting under artificial emotions. Formal modelling of agents acting under artificial emotions.
Zhongsheng Qian. (2012) Web Testing Generation: A Stream <i>X-Machine</i> Based Approach. Journal of Software Engineering and Applications 05:01, pages 7-13.
Crossref
Dimitris Dranidis, Konstantinos Bratanis & Florentin Ipate. 2012. Software Engineering and Formal Methods. Software Engineering and Formal Methods 352 366 .
Mercedes G. Merayo, Manuel Núñez & Robert M. Hierons. (2009) Testing timed systems modeled by Stream X-machines. Software & Systems Modeling 10:2, pages 201-217.
Crossref
Petros Kefalas & Ioanna Stamatopoulou. (2010) Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges. Electronic Proceedings in Theoretical Computer Science 33, pages 71-82.
Crossref
Robert M. Hierons. (2010) Checking experiments for stream X-machines. Theoretical Computer Science 411:37, pages 3372-3385.
Crossref
Florentin Ipate. (2010) Bounded sequence testing from deterministic finite state machines. Theoretical Computer Science 411:16-18, pages 1770-1784.
Crossref
Dimitris Dranidis, Andreas Metzger & Dimitrios Kourtesis. 2010. Towards a Service-Based Internet. Towards a Service-Based Internet 63 75 .
Robert M. HieronsKirill BogdanovJonathan P. BowenRance Cleaveland, John DerrickJeremy DickMarian GheorgheMark HarmanKalpesh Kapoor, Paul KrauseGerald LüttgenAnthony J. H. SimonsSergiy Vilkomir, Martin R. WoodwardHussein Zedan. (2009) Using formal specifications to support testing. ACM Computing Surveys 41:2, pages 1-76.
Crossref
Florentin Ipate & Marian Gheorghe. (2009) Testing Non-deterministic Stream X-machine Models and P systems. Electronic Notes in Theoretical Computer Science 227, pages 113-126.
Crossref
Ervin Ramollari, Dimitrios Kourtesis, Dimitris Dranidis & Anthony J. H. Simons. 2009. The Semantic Web: Research and Applications. The Semantic Web: Research and Applications 593 607 .
Robert M. Hierons & Florentin Ipate. (2008) Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. Formal Aspects of Computing 20:6, pages 597-617.
Crossref
Mercedes G. Merayo, Robert M. Hierons & Manuel Núñez. (2008) Extending Stream X-Machines to Specify and Test Systems with Timeouts. Extending Stream X-Machines to Specify and Test Systems with Timeouts.
George Eleftherakis & Petros Kefalas. (2008) Formal Verification of Generalised State Machines. Formal Verification of Generalised State Machines.
Florentin Ipate & Mike Holcombe. (2008) Testing data processing-oriented systems from stream X-machine models. Theoretical Computer Science 403:2-3, pages 176-191.
Crossref
Kirill Bogdanov. 2008. Formal Methods and Testing. Formal Methods and Testing 184 208 .
Anthony J. H. Simons. (2007) JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction. Automated Software Engineering 14:4, pages 369-418.
Crossref
. (2007) Testing conformance on Stochastic Stream X-Machines. Testing conformance on Stochastic Stream X-Machines.
Florentin Ipate. (2007) Class Testing from State Diagrams Using Stream X-Machine Based Methods. Class Testing from State Diagrams Using Stream X-Machine Based Methods.
Anthony J. H. Simons. (2006) A theory of regression testing for behaviourally compatible object types. Software Testing, Verification and Reliability 16:3, pages 133-156.
Crossref
Florentin Ipate. (2006) Testing against a non-controllable stream X-machine using state counting. Theoretical Computer Science 353:1-3, pages 291-316.
Crossref
K. Bogdanov, M. Holcombe, F. Ipate, L. Seed & S. Vanak. (2006) Testing methods for X-machines: a review. Formal Aspects of Computing 18:1, pages 3-30.
Crossref
Ioanna Stamatopoulou, Marian Gheorghe & Petros Kefalas. 2005. Membrane Computing. Membrane Computing 389 403 .
Marian Gheorghe, Ioanna Stamatopoulou, Mike Holcombe & Petros Kefalas. 2005. Unconventional Programming Paradigms. Unconventional Programming Paradigms 207 224 .
Florentin Ipate & Mike Holcombe. 2005. Extreme Programming and Agile Processes in Software Engineering. Extreme Programming and Agile Processes in Software Engineering 214 217 .
Anthony J. H. Simons. 2005. Extreme Programming and Agile Processes in Software Engineering. Extreme Programming and Agile Processes in Software Engineering 118 126 .
Florentin Ipate. (2004) Complete deterministic stream X-machine testing. Formal Aspects of Computing 16:4, pages 374-386.
Crossref
R.M. Hierons & M. Harman. (2004) Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. Theoretical Computer Science 323:1-3, pages 191-233.
Crossref
K. Bogdanov & M. Holcombe. (2004) Refinement in statechart testing. Software Testing, Verification and Reliability 14:3, pages 189-211.
Crossref
Mike Holcombe & Florentin Ipate. 2004. Extreme Programming and Agile Processes in Software Engineering. Extreme Programming and Agile Processes in Software Engineering 274 277 .
Mike Holcombe & Florentin Ipate. 2003. Grammars and Automata for String Processing. Grammars and Automata for String Processing 151 162 .
Florentin Ipate & Mike Holcombe. (2002) Testing Conditions for Communicating Stream X-machine Systems. Formal Aspects of Computing 13:6, pages 431-446.
Crossref
J.P. Bowen, K. Bogdanov, J.A. Clark, M. Harman, R.M. Hierons & P. Krause. (2002) FORTEST: formal methods and testing. FORTEST: formal methods and testing.
K. Bogdanov & M. Holcombe. (2001) Statechart testing method for aircraft control systems. Software Testing, Verification and Reliability 11:1, pages 39-54.
Crossref
R.M Hierons, S Sadeghipour & H Singh. (2001) Testing a system specified using Statecharts and Z. Information and Software Technology 43:2, pages 137-149.
Crossref
R.M. Hierons. (2001) Checking states and transitions of a set of communicating finite state machines. Microprocessors and Microsystems 24:9, pages 443-452.
Crossref
Tudor Bălănescu, Marian Gheorghe & Mike Holcombe. 2001. Where Mathematics, Computer Science, Linguistics and Biology Meet. Where Mathematics, Computer Science, Linguistics and Biology Meet 13 23 .
Tudor B←↭escu, Marian Gheorghe, Mike Holcombe & Florentin Ipate. 2001. Advances in Artificial Life. Advances in Artificial Life 296 305 .
R. M. Hierons & M. Harman. (2000) Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine. Formal Aspects of Computing 12:6, pages 423-442.
Crossref
Mike Holcombe. (2000) What are X-Machines?. Formal Aspects of Computing 12:6, pages 418-422.
Crossref
Li Liuying & Qi Zhichang. (1999) Test selection from UML Statecharts. Test selection from UML Statecharts.
K. Bogdanov, M. Holcombe & H. Singh. 1999. Applied Formal Methods — FM-Trends 98. Applied Formal Methods — FM-Trends 98 107 121 .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.