![[RDF data]](https://dblp.l3s.de/d2r/snorql/rdf_flyer.24.gif)
| Property | Value |
|---|---|
| dcterms:bibliographicCitation | <http://dblp.uni-trier.de/rec/bibtex/conf/icse/WatanabeS96> |
| dc:creator | <https://dblp.l3s.de/d2r/resource/authors/Aki_Watanabe> |
| dc:creator | <https://dblp.l3s.de/d2r/resource/authors/Ken_Sakamura> |
| foaf:homepage | <http://portal.acm.org/citation.cfm?id=227726.227742> |
| dc:identifier | DBLP conf/icse/WatanabeS96 (xsd:string) |
| dcterms:issued | 1996 (xsd:gYear) |
| rdfs:label | A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards. (xsd:string) |
| foaf:maker | <https://dblp.l3s.de/d2r/resource/authors/Aki_Watanabe> |
| foaf:maker | <https://dblp.l3s.de/d2r/resource/authors/Ken_Sakamura> |
| swrc:pages | 81-89 (xsd:string) |
| dcterms:partOf | <https://dblp.l3s.de/d2r/resource/publications/conf/icse/1996> |
| owl:sameAs | <http://bibsonomy.org/uri/bibtexkey/conf/icse/WatanabeS96/dblp> |
| owl:sameAs | <http://dblp.rkbexplorer.com/id/conf/icse/WatanabeS96> |
| rdfs:seeAlso | <http://dblp.uni-trier.de/db/conf/icse/icse96.html#WatanabeS96> |
| rdfs:seeAlso | <http://portal.acm.org/citation.cfm?id=227726.227742> |
| swrc:series | <https://dblp.l3s.de/d2r/resource/conferences/icse> |
| dc:subject | ITRON2 real time multi task operating system specification, SBATCG method, Z notation, abstract state transitions, commercially available ITRON2 implementations, fault detecting ability, fault exposure abilities, formal specification, formal specification languages, integration testing, internal structure, model based specification, multiprogramming, mutation analysis, open operating system standards, open systems, operating systems (computers), program testing, real-time systems, software standards, specification based adaptive test case generation strategy, specification languages, templates (xsd:string) |
| dc:title | A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards. (xsd:string) |
| dc:type | <http://purl.org/dc/dcmitype/Text> |
| rdf:type | swrc:InProceedings |
| rdf:type | foaf:Document |