1![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 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](https://www.pdfsearch.io/img/5b1e4bec2dbcd5fe5c09f378ab806751.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:31:43
|
---|
2![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 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](https://www.pdfsearch.io/img/9a6772d54ef437e9194cede8bc1569e9.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:34
|
---|
3![Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving Alex Groce1 , Gerard Holzmann1 , Rajeev Joshi1 , and Ru-Gang Xu2 1 Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving Alex Groce1 , Gerard Holzmann1 , Rajeev Joshi1 , and Ru-Gang Xu2 1](https://www.pdfsearch.io/img/47c4999b4de8049319a4ec7809ee4356.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:30:43
|
---|
4![Software Quality Journal manuscript No. (will be inserted by the editor) Automated Testing of DSL Implementations Experiences from Building mbeddr Daniel Ratiu · Markus Voelter · Software Quality Journal manuscript No. (will be inserted by the editor) Automated Testing of DSL Implementations Experiences from Building mbeddr Daniel Ratiu · Markus Voelter ·](https://www.pdfsearch.io/img/eeed2a253b55061f250a96986ae26a43.jpg) | Add to Reading ListSource URL: mbeddr.comLanguage: English - Date: 2018-08-02 04:06:51
|
---|
5![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 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](https://www.pdfsearch.io/img/4bd4997bc68b8af9c8dfb436c02151df.jpg) | Add to Reading ListSource URL: www.falkhowar.deLanguage: English - Date: 2018-09-30 08:43:02
|
---|
6![Automated Software Testing as a Service George Candea, Stefan Bucur, Cristian Zamfir School of Computer and Communication Sciences École Polytechnique Fédérale de Lausanne (EPFL), Switzerland ABSTRACT Automated Software Testing as a Service George Candea, Stefan Bucur, Cristian Zamfir School of Computer and Communication Sciences École Polytechnique Fédérale de Lausanne (EPFL), Switzerland ABSTRACT](https://www.pdfsearch.io/img/81406a7433437ded90b0f0b7154fa46b.jpg) | Add to Reading ListSource URL: dslab.epfl.chLanguage: English - Date: 2018-08-18 15:32:20
|
---|
7![TESTING CRYPTOGRAPHIC SECURITY IN YOUR APPLICATIONS Cryptosense provides state-of-the-art analysis software to help some of the world’s largest organizations eliminate the vulnerabilities caused by crypto misuse in the TESTING CRYPTOGRAPHIC SECURITY IN YOUR APPLICATIONS Cryptosense provides state-of-the-art analysis software to help some of the world’s largest organizations eliminate the vulnerabilities caused by crypto misuse in the](https://www.pdfsearch.io/img/748f1458767c23038cd9f335c90d1607.jpg) | Add to Reading ListSource URL: cryptosense.comLanguage: English - Date: 2017-10-03 09:47:46
|
---|
8![2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs George B. Sherwood Testcover.com, LLC 2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs George B. Sherwood Testcover.com, LLC](https://www.pdfsearch.io/img/a9297cfa83c0399b4d03e62ff415008c.jpg) | Add to Reading ListSource URL: testcover.comLanguage: English - Date: 2018-07-14 16:28:06
|
---|
9![Appears in the Proceedings of the International Symposium on Software Testing and Analysis (ISSTA ’15) SAMC: A Fast Model Checker for Finding Heisenbugs in Distributed Systems (Demo) Tanakorn Leesatapornwongsa Appears in the Proceedings of the International Symposium on Software Testing and Analysis (ISSTA ’15) SAMC: A Fast Model Checker for Finding Heisenbugs in Distributed Systems (Demo) Tanakorn Leesatapornwongsa](https://www.pdfsearch.io/img/2e13abed185ca1ce337cf1138614e470.jpg) | Add to Reading ListSource URL: ucare.cs.uchicago.eduLanguage: English - Date: 2015-06-05 18:52:07
|
---|
10![テスト技術者資格制度 Advanced Level シラバス日本語版 テストアナリスト Version 2012.J01 International Software Testing Qualifications Board テスト技術者資格制度 Advanced Level シラバス日本語版 テストアナリスト Version 2012.J01 International Software Testing Qualifications Board](https://www.pdfsearch.io/img/80b8c531c584b21a1417433a652afadd.jpg) | Add to Reading ListSource URL: jstqb.jpLanguage: Japanese - Date: 2015-03-28 03:50:46
|
---|