Loading…
Loading…
Research and Markets Offers The Guide to Computer Simulations and Games
Published in Professional Services Close - Up
(29.04.2012)
Get full text
Newsletter
Loading…
Research and Markets Adds: The Guide to Computer Simulations and Games
Published in Health & Beauty Close - Up
(26.04.2012)
Get full text
Newsletter
Loading…
Waste-treatment plant construction work
Published in MENA Report
(04.05.2016)
Get full text
Newsletter
Loading…
An Empirical Evaluation of Assertions as Oracles
Shrestha, Kavir, Rutherford, Matthew J
Published in 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation (01.03.2011)
Published in 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation (01.03.2011)
Get full text
Conference Proceeding
Loading…
Testing Resource Usage in Home Automation Systems
Grasland, Y
Published in 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation (01.03.2011)
Published in 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation (01.03.2011)
Get full text
Conference Proceeding
Loading…
Optimal Resource Allocation for Batch Testing
Fangzhe Chang, Ren, J., Viswanathan, R.
Published in 2009 International Conference on Software Testing Verification and Validation (01.04.2009)
Published in 2009 International Conference on Software Testing Verification and Validation (01.04.2009)
Get full text
Conference Proceeding
Loading…
Precisely Detecting Runtime Change Interactions for Evolving Software
Santelices, Raul, Harrold, Mary Jean, Orso, Alessandro
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Published in 2010 Third International Conference on Software Testing, Verification and Validation (01.04.2010)
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
The use of formal methods in a commercial V&V consultancy
Griffiths, A., Morello, R.
Published in Asia-Pacific Software Engineering Conference: ASPEC 96. No. 3 (1996)
Published in Asia-Pacific Software Engineering Conference: ASPEC 96. No. 3 (1996)
Get full text
Conference Proceeding
Loading…
Optimizing Generation of Object Graphs in Java PathFinder
Gligoric, M., Gvero, T., Lauterburg, S., Marinov, D., Khurshid, S.
Published in 2009 International Conference on Software Testing Verification and Validation (01.04.2009)
Published in 2009 International Conference on Software Testing Verification and Validation (01.04.2009)
Get full text
Conference Proceeding
Loading…
An Evaluation of Mutation and Data-Flow Testing: A Meta-analysis
Kakarla, S., Momotaz, S., Namin, A. S.
Published in 2011 Fourth International Conference on Software Testing, Verification and Validation Workshops (01.03.2011)
Published in 2011 Fourth International Conference on Software Testing, Verification and Validation Workshops (01.03.2011)
Get full text
Conference Proceeding
Loading…
Runtime Verification of Linux Kernel Modules Based on Call Interception
Rubanov, Vladimir V, Shatokhin, Eugene A
Published in 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation (01.03.2011)
Published in 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation (01.03.2011)
Get full text
Conference Proceeding
Loading…
Machines and apparatus for testing and measuring
Published in MENA Report
(04.04.2015)
Get full text
Newsletter
Loading…
Loading…
Loading…
ALL-TIMES – A European Project on Integrating Timing Technology
Steffen, Bernhard
Published in Leveraging Applications of Formal Methods, Verification and Validation (2008)
Published in Leveraging Applications of Formal Methods, Verification and Validation (2008)
Get full text
Book Chapter
Conference Proceeding
Loading…
Loading…
Research and Markets: The Guide to Computer Simulations and Games
Published in M2 Presswire
(24.04.2012)
Get full text
Newsletter