A General Testability Theory

DOI10.1007/978-3-642-04081-8_38MaRDI QIDQ3184700zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ismael Rodríguez

Publication date 22 October 2009

Published in CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04081-8_38

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Introducing complexity to formal testing
• A contribution to the theory of program testing
• Connectivity testing
• Complete open-state testing of limitedly nondeterministic systems
• Testing hierarchical systems

Cites work

• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• An $n^{5/2} $ Algorithm for Maximum Matchings in Bipartite Graphs
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 2038731 (Why is no real title available?)
• scientific article; zbMATH DE number 1746452 (Why is no real title available?)
• scientific article; zbMATH DE number 1746453 (Why is no real title available?)
• Specification, testing and implementation relations for symbolic-probabilistic systems
• Symbolic Execution Techniques for Test Purpose Definition
• Testing timed automata

Cited in

(13)

• Toward a theory of functional testing in discrete dynamic systems
• Connectivity testing
• Implementation relations and test generation for systems with distributed interfaces
• Introducing complexity to formal testing
• When can finite testing ensure infinite trustworthiness?
• Partial models and weak equivalence
• Models of the general theory of test construction of relatively constant malfunctions
• scientific article; zbMATH DE number 2013789 (Why is no real title available?)
• Root cause analysis of large scale application testing results
• Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
• A framework for table driven testing of Java classes
• A centralized and a decentralized method to automatically derive choreography-conforming web service systems
• Test suite oscillations

This page was built for publication: A General Testability Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3184700)