448 Olin, Markus, Pasanen, Antti, Ojaniemi, Ulla, Mroueh, Ulla-Maija, Walavaara, Marko, Larjava, Kari, Vasara, Petri, Lobbas, Pia - Pacific Research Institute - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-03-17 08:41:08 Cyberwarfare Computer security Technology Fault injection VTT Technical Research Centre of Finland Vulnerability Network on Terminal Architecture Software quality Software testing Computer network security Oulu University Secure Programming Group		448 Olin, Markus, Pasanen, Antti, Ojaniemi, Ulla, Mroueh, Ulla-Maija, Walavaara, Marko, Larjava, Kari, Vasara, Petri, Lobbas, Pia & Lillandt, Katja. Implementation of IPPCdirective. Development of a new generation metho Add to Reading List Source URL: www.vtt.fi Download Document from Source Website File Size: 728,58 KB Share Document on Facebook

	Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena DocID: 1xVf0 - View Document
	SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. ReliabPublished online in Wiley Online Library (wileyonlinelibrary.com). DOI: stvr.1475 A survey of code-based change impact analysis te DocID: 1xUzu - View Document
	Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving Alex Groce1 , Gerard Holzmann1 , Rajeev Joshi1 , and Ru-Gang Xu2 1 DocID: 1xUpo - View Document
	Software Quality Journal manuscript No. (will be inserted by the editor) Automated Testing of DSL Implementations Experiences from Building mbeddr Daniel Ratiu · Markus Voelter · DocID: 1xTVB - View Document
	Study of Integrating Random and Symbolic Testing for Object-Oriented Software∗ Marko Dimjašević1 , Falk Howar2 , Kasper Luckow3 , and Zvonimir Rakamarić1 1 2 DocID: 1xTHa - View Document