"Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Verification, Validation and Testing in Software Engineering	Aristides Dasso, Aristides Dasso; Ana Funes	2006	IGI Global
Software validation,verification,testing,and documentation	Stephen J. Andriole	1986	Petrocelli Books
Systems and Software Verification: Model-Checking Techniques and Tools	B. Berard; M. Bidoit; A. Finkel; F. Laroussinie; A. Petit; L. Petrucci; P. Schnoebelen	2001	Springer Berlin Heidelberg
Software Quality Approaches: Testing, Verification, and Validation: Software Best Practice 1	Michael Haug; Eric W. Olsen; Luisa Consolini	2001	Springer Berlin Heidelberg
Software Quality Assurance: Integrating Testing, Security, and Audit	Abu Sayed Mahfuz	2016	Routledge
Verification and Validation of Real-Time Software	William J. Quirk	1985	Springer Berlin Heidelberg
PDCA/Test: A Quality Framework for Software Testing	William E. Lewis	1998	Routledge
Sequential Logic Testing and Verification	Abhijit Ghosh; Srinivas Devadas; A. Richard Newton	1992	Springer US
Computer logic,testing and verification	J. Paul Roth	1980	Pitman
Embedded Software Verification and Debugging	Djones Lettnin; Markus Winterholer	1st ed. 2017	Springer New York
Embedded Software Verification and Debugging	Djones Lettnin, Markus Winterholer (eds.)	2017	Springer
Software Verification and Validation: An Engineering and Scientific Approach	Marcus S. Fisher	2007	Springer US
An evidence framework for genetic testing /	National Academies of Sciences, Engineering, and Medicine; Health and Medicine Division; Board on Health Care Services; Board on the Health of Select Populations; Committee on the Evidence Base for Genetic Testing		National Academies Press
Software Testing	Yogesh Singh	2011-11	Cambridge University Press
Software Testing	Patton, Ron	2005	Sams Publishing
Software Quality and Software Testing in Internet Times	Dirk Meyerhoff; Begona Laibarra; Rob van der Pouw Kraan; Alan Wallet	2002	Springer Berlin Heidelberg
Trends in Software Testing	Hrushikesha Mohanty; J. R. Mohanty; Arunkumar Balakrishnan	1st ed. 2017	Springer Nature Singapore
Testing in software development	Martyn A. Ould	1986	Published by Cambridge University Press on behalf of the British Computer Society
Verification by Error Modeling: Using Testing Techniques in Hardware Verification	Katarzyna Radecka; Zeljko Zilic	2003	Springer US
Software Verification and Analysis: An Integrated, Hands-On Approach	Janusz Laski; William Stanley	2009	Springer London
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
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework	Edison Mera; Pedro Lopez-García; Manuel Hermenegildo	Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings	Patricia M. Hill; David S. Warren	2009	Springer Berlin Heidelberg
Software Verification: Testing vs. Model Checking	Dirk Beyer; Thomas Lemberger	Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings	Ofer Strichman; Rachel Tzoref-Brill	1st ed. 2017	Springer International Publishing
Combining Monitoring with Run-Time Assertion Checking	Frank S. de Boer; Stijn de Gouw	Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures	Marco Bernardo; Ferruccio Damiani; Reiner Haehnle; Einar Broch Johnsen; Ina Schaefer	2014	Springer International Publishing
Run-Time Verification of Networked Software	Cyrille Valentin Artho	Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings	Howard Barringer; Ylies Falcone; Bernd Finkbeiner; Klaus Havelund; Insup Lee; Gordon Pace; Grigore Rosu; Oleg Sokolsky; Nikolai Tillmann	2010	Springer Berlin Heidelberg
Between Testing and Verification: Dynamic Software Model Checking		Dependable software systems engineering	Esparza, Javier(Editor); Grumberg, Orna(Editor); Sickert, Salomon(Editor)	2016	Ios Pr Inc; IOS Press
Integrating Verification and Testing of Object-Oriented Software	Christian Engel; Christoph Gladisch; Vladimir Klebanov; Philipp Rümmer	Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings	Bernhard Beckert; Reiner Hähnle	2008	Springer Berlin Heidelberg
Run-Time Verification	Marco Montali	Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach	Marco Montali	2010	Springer Berlin Heidelberg
Run-time assertion monitoring		Eiffel: The Language	Bertrand Meyer
Integrating Software and Hardware Verification	Marie-Christine Jakobs; Marco Platzner; Heike Wehrheim; Tobias Wiersema	Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings	Elvira Albert; Emil Sekerinski	2014	Springer International Publishing
PSL Model Checking and Run-Time Verification Via Testers	A. Pnueli; A. Zaks	FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings	Jayadev Misra; Tobias Nipkow; Emil Sekerinski	2006	Springer Berlin Heidelberg
Assertion Checking		The VLSI handbook	Wai-Kai Chen	2000	CRC Press; IEEE Press
Assertion checking		mastering object-oriented python	steven F.Lott	2019	Packt Publishing Ltd.
Software Testing (Verification and Validation)	Ashfaque Ahmed; Bhanu Prasad	Foundations of Software Engineering	Ashfaque Ahmed; Bhanu Prasad	2016	Routledge
Run-time type checking		Adobe Flex 2 - Programming ActionScript 3. 0			Adobe Press
Runtime Assertion Checking and Static Verification: Collaborative Partners	Fonenantsoa Maurica; David R. Cok; Julien Signoles	Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II	Tiziana Margaria; Bernhard Steffen	1st ed. 2018	Springer International Publishing
18 Run-Time Verification	Séverine Colin; Leonardo Mariani	Model-Based Testing of Reactive Systems: Advanced Lectures	Manfred Broy; Bengt Jonsson; Joost-Pieter Katoen; Martin Leucker; Alexander Pretschner	2005	Springer Berlin Heidelberg
AMOEBA-RT: Run-Time Verification of Adaptive Software	Heather J. Goldsby; Betty H. C. Cheng; Ji Zhang	Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers	Holger Giese	2008	Springer Berlin Heidelberg
Software and hardware verification and testing		Measuring power of algorithms, programs, and automata	M. S. Burgin	2009	Nova Science Publishers
OVL Assertion-Checking of Embedded Software with Dense-Time Semantics	Farn Wang; Fang Yu	Real-Time and Embedded Computing Systems and Applications: 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers	Jing Chen; Seongsoo Hong	2004	Springer Berlin Heidelberg
Ch. 7. Software Validation, Verification, and Testing. Software Verification and Validation	Roger Fujii and Dolores R. Wallace.Software Inspections and the Cost-Effective Production of Reliable Software /A. Frank Ackerman.Reviews and Audits /John J. Marciniak.Traceability /James D. Palmer.A Review of Software Testing /P. David Coward	Software engineering /	Dorfman, M.; Thayer, Richard H.	[1997], ©1997.	IEEE Computer Society Press,
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework" - similar Books and Chapters