Sensor faults
- 期刊名称ACM Transactions on Sensor Networks
- 作者Sharma, Abhishek B.; Golubchik, Leana; Govindan, Ramesh
- 卷第6卷
- 期第3期
- 印刷ISSN1550-4859
- 文件大小2591.00KB
- 发表时间2010-06-01
- DOI10.1145/1754414.1754419
- 页码1-39
[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 3395 ||Grabowski, Jens; Nielsen, Brian · 2005
[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 3395 || Test Generation Based on Symbolic SpecificationsGrabowski, Jens; Nielsen, Brian · 2005
[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 3395 || Symbolic Test Case Generation for Primitive Recursive FunctionsGrabowski, Jens; Nielsen, Brian · 2005
[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 3395 || Specifying and Generating Test Cases Using Observer AutomataGrabowski, Jens; Nielsen, Brian · 2005
[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 3395 || High-Level Restructuring of TTCN-3 Test DataGrabowski, Jens; Nielsen, Brian · 2005
[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 3395 || Online Testing of Real-time Systems Using UppaalGrabowski, Jens; Nielsen, Brian · 2005
[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 3395 || Ordering Mutants to Minimise Test Effort in Mutation TestingGrabowski, Jens; Nielsen, Brian · 2005