Publication: Test conditions for fault classes in Boolean specifications
| dc.contributor.affiliation | DA-IICT, Gandhinagar | |
| dc.contributor.author | Kapoor, Kalpesh | |
| dc.contributor.author | Bowen, Jonathan P | |
| dc.date.accessioned | 2025-08-01T13:09:03Z | |
| dc.date.issued | 01-07-2007 | |
| dc.description.abstract | Fault-based testing of software checks the software implementation for a set of faults. Two previous papers on fault-based testing [Kuhn 1999; Tsuchiya and Kikuno 2002] represent the required behavior of the software as a Boolean specification represented in Disjunctive Normal Form (DNF) and then show that faults may be organized in a hierarchy. This article extends these results by identifying necessary and sufficient conditions for fault-based testing. Unlike previous solutions, the formal analysis used to derive these conditions imposes no restrictions (such as DNF) on the form of the Boolean specification. | |
| dc.format.extent | 01-Dec | |
| dc.identifier.citation | Kapoor, Kalpesh and Bowen, Jonathan P., "Test conditions for fault classes in Boolean specifications," ACM Transactions on Software Engineering and Methodology, vol. 16, no. 03, Article 10, Jul. 2007. | |
| dc.identifier.doi | 10.1145/1243987.1243988 | |
| dc.identifier.issn | 1049-331X | |
| dc.identifier.scopus | 2-s2.0-34547272404 | |
| dc.identifier.uri | https://ir.daiict.ac.in/handle/dau.ir/1588 | |
| dc.identifier.wos | WOS:000248338000001 | |
| dc.language.iso | en | |
| dc.publisher | ACM | |
| dc.relation.ispartofseries | Vol. 16; No. 3 | |
| dc.source | ACM Transactions on Software Engineering and Methodology | |
| dc.source.uri | https://dl.acm.org/doi/10.1145/1243987.1243988 | |
| dc.title | Test conditions for fault classes in Boolean specifications | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 2a473f3e-12f9-48cb-af51-e1bce2b18c0d | |
| relation.isAuthorOfPublication.latestForDiscovery | 2a473f3e-12f9-48cb-af51-e1bce2b18c0d |