Instructional Psychology
- 期刊名称Annual Review of Psychology
- 作者Gagne, R M; Dick, W
- 卷第34卷
- 期第1期
- 印刷ISSN0066-4308
- 电子ISSN1545-2085
- 文件大小973.57KB
- 发表时间1983-01
- DOI10.1146/annurev.ps.34.020183.001401
- 页码261-295
[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