"Automatic Test Generation for the Analysis of a Real-Time System: Case Study"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Automatic Generation of Combinatorial Test Data	Jian Zhang; Zhiqiang Zhang; Feifei Ma	2014	Springer Berlin Heidelberg
OZDRAW; a real-time interactive figure generation system	Steven J. Firth	1985
Automatic recovery in a real-time, distributed, multiple microprocessor computer system	Richard Lewis Anderson	1980	Naval Postgraduate School
Installing and using an automatic data processing system: a case study for management.	John Peter McNerney	1961	Division of Research, Harvard University, Graduate School of Business Administration
The automatic instructor: a practical system for home study.	George Windle Read	1898	Wm. Kennedy Printing Co.
The automatic instructor: a practical system for home study.	George Windle Read	1898	Wm. Kennedy Printing Co.
Automatic test pattern generation for logic circuits using the Boolean tree	Taegwon Jeong	1991
A Practitioner’s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems	Mark Klein; Thomas Ralya; Bill Pollak; Ray Obenza; Michael González Harbour	1993	Springer US
Real-time Security Extensions for EPCglobal Networks: Case Study for the Pharmaceutical Industry	Matthieu-P. Schapranow	2014	Springer Berlin Heidelberg
Strategies for real-time system specification	Derek J. Hatley	1988	Dorset House Publishing
Strategies for real-time system specification	Derek J. Hatley	1987	Dorset House Pub.
Implementation of a real-time, distributed operating system for a multiple computer system	Stephen G. Klinefelter	1982	Naval Postgraduate School
Automatic Test Equipment	Keith Brindley	1991	Newnes
A case study of the space and time continuity of numerical frontal analysis	William Carroll Kaag	1967	Naval Postgraduate School
Real-time system design	Shem-Tov Levi	1990	McGraw-Hill Pub. Co.
Toward the automatic factory: a case study of men and machines.	Charles Rumford Walker	1957	Yale University Press
Analysis and design of a suboptimal, adaptive automatic braking system	Douglas W. Harold	1988	Naval Postgraduate School
Automatic cell generation for recurrence structures	Avinoam Bilgory	1980	Dept. of Computer Science, University of Illinois at Urbana-Champaign
Case study analysis of air power development as a test of external democratic behavior	Robert J. MacDonald	1996	Naval Postgraduate School;Available from National Technical Information Service
System-on-Chip for Real-Time Applications	Wael Badawy; Graham A. Julien	2003	Springer US
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Automatic Test Generation for the Analysis of a Real-Time System: Case Study	D. Clarke and I. Lee	Proceedings: third IEEE Real-Time Technology and Applications Symposium, June 9-11, 1997, Montréal, Canada /	Quebec Real-Time Technology and Applications Symposium 1997 Montreal	[1997], ©1997.	IEEE Computer Society Press,
Automatic Test-Case Generation	Patrícia Machado; Augusto Sampaio	Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures	Paulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim Woodcook	2010	Springer Berlin Heidelberg
Case Study: Automatic Test Case Generation for a Secure Cache Implementation	Roderick Bloem; Daniel Hein; Franz Röck; Richard Schumi	Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings	Jasmin Christian Blanchette; Nikolai Kosmatov	1st ed. 2015	Springer International Publishing
Functional Test Case Generation for Real-Time Systems	Dino Mandrioli; Sandro Morasca; Angelo Morzenti	Dependable Computing for Critical Applications 3	Carl E. Landwehr; Brian Randell; Luca Simoncini	1993	Springer Vienna
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems	Xin Wang; Ji Wang; Zhi-Chang Qi	Formal Techniques for Networked and Distributed Systems - FORTE 2004: 24th IFIP WG 6. 1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings	David de Frutos-Escrig; Manuel Nunez	2004	Springer Berlin Heidelberg
Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems	Geng-Dian Huang; Farn Wang	Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings	Doron A. Peled; Yih-Kuen Tsay	2005	Springer Berlin Heidelberg
Automatic Test Case Generation for Interacting Services	Kathrin Kaschner; Niels Lohmann	Service-Oriented Computing - ICSOC 2008 Workshops: ICSOC 2008, International Workshops, Sydney, Australia, December 1st, 2008. Revised Selected Papers.	George Feuerlicht; Winfried Lamersdorf	2009	Springer Berlin Heidelberg
A Case Study on the Real-Time Click Stream Analysis System	Sangkyun Kim; Choon Seong Leem	Computational and Information Science: First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004, Proceedings	Jun Zhang; Ji-Huan He; Yuxi Fu	2005	Springer Berlin Heidelberg
Time-Optimal Real-Time Test Case Generation Using Uppaal	Anders Hessel; Kim G. Larsen; Brian Nielsen; Paul Pettersson; Arne Skou	Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003	Andreas Ulrich	2004	Springer Berlin Heidelberg
Formal Specification for Compiler Based Test Case Generation of Embedded Real-Time System	Yong Chen; Yanxiang He; Chao Xu; Wei Wu; Jianbo Liu	Business, Economics, Financial Sciences, and Management	Min Zhu	2012	Springer Berlin Heidelberg
Automatic Test Case Generation of Real Protocols: Framework and Methodology	Tae-hyong Kim; Ik-soon Hwang; Chan-min Park; Jai-yong Lee; Sang-bae Lee	Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE XI/PSTV XVIII’98 IFIP TC6 WG6. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France	Stan Budkowski; Ana Cavalli; Elie Najm	1998	Springer US
A distributed automatic test pattern generation system	Peter A. Krauss	High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 1: Applications	Wolfgang Gentzsch; Uwe Harms	1994	Springer Berlin Heidelberg
Analysis of a Procedural System for Automatic Scenario Generation	Glenn A. Martin; Charles E. Hughes; J. Michael Moshell	Advances in Applied Human Modeling and Simulation	Vincent G. Duffy	2012	Routledge
AUTOMATIC TEST GENERATION		Wiley Encyclopedia of Computer Science and Engineering, 5-Volume Set	Benjamin W. Wah	2009	Wiley-Interscience
Real time case study		Real-Time Object Uniform Design Methodology with UML	Bui Minh Duc	2007	Springer Netherlands
REAL-TIME SYSTEM SPECIFICATIONS AND THEIR AUTOMATIC ANALYSIS	W.J. Quirk	Annual Review in Automatic Programming	M. I. Halpern	1981	Pergamon
Automatic Test Case Generation for Web Applications Testing	Lulu Sun; Junyi Li; Shenglan Liu	Communication Systems and Information Technology: Selected Papers from the 2011 International Conference on Electric and Electronics (EEIC 2011) in Nanchang, China on June 20-22, 2011, Volume 4	Ming Ma	2011	Springer Berlin Heidelberg
A Test Generation Framework for quiescent Real-Time Systems	Laura Brandán Briones; Ed Brinksma	Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers	Jens Grabowski; Brian Nielsen	2005	Springer Berlin Heidelberg
Automatic Test Generation for Coverage Analysis Using CBMC	Damiano Angeletti; Enrico Giunchiglia; Massimo Narizzano; Alessandra Puddu; Salvatore Sabina	Computer Aided Systems Theory - EUROCAST 2009: 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers	Roberto Moreno-Díaz; Franz Pichler; Alexis Quesada-Arencibia	2009	Springer Berlin Heidelberg
Automatic Test Generation for Coverage Analysis Using CB		Computer Aided Systems Theory - EUROCAST 2009: 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers	Josef Scharinger (auth.), Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.)	2009	Springer-Verlag Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Automatic Test Generation for the Analysis of a Real-Time System: Case Study" - similar Books and Chapters