Software testing

Results: 9347



#Item
1Randomized 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

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:31:43
2SOFTWARE 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

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 00:58:34
3Putting 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

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:30:43
4Software 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 ·

Add to Reading List

Source URL: mbeddr.com

Language: English - Date: 2018-08-02 04:06:51
5Study 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

Add to Reading List

Source URL: www.falkhowar.de

Language: English - Date: 2018-09-30 08:43:02
6Automated 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

Add to Reading List

Source URL: dslab.epfl.ch

Language: English - Date: 2018-08-18 15:32:20
    7TESTING 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

    Add to Reading List

    Source URL: cryptosense.com

    Language: English - Date: 2017-10-03 09:47:46
      82014 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

      Add to Reading List

      Source URL: testcover.com

      Language: English - Date: 2018-07-14 16:28:06
        9Appears 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

        Add to Reading List

        Source URL: ucare.cs.uchicago.edu

        Language: 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

          Add to Reading List

          Source URL: jstqb.jp

          Language: Japanese - Date: 2015-03-28 03:50:46