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

Source URL: rjoshi.org

• Software testing
• Software engineering
• Computing
• Quality
• Fault injection
• Software verification
• Reliability engineering
• Formal verification
• Flash memory
• Software quality
• Stress testing
• Exception handling

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

Source URL: zhang-sai.github.io

• Central Intelligence Agency
• Cold War in popular culture
• McLean
• Virginia
• Change impact analysis
• Program slicing
• Mining software repositories
• Reverse engineering
• Software engineering
• Computing
• Change

Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving Alex Groce1 , Gerard Holzmann1 , Rajeev Joshi1 , and Ru-Gang Xu2 1

Source URL: rjoshi.org

• Software testing
• Software engineering
• Model checkers
• Computing
• Theoretical computer science
• Formal methods
• Model checking
• Formal verification
• Random testing
• Test automation
• SPIN model checker
• Acceptance testing

Software Quality Journal manuscript No. (will be inserted by the editor) Automated Testing of DSL Implementations Experiences from Building mbeddr Daniel Ratiu · Markus Voelter ·

Source URL: mbeddr.com

• Software engineering
• Computing
• Computer programming
• Language workbench
• High-level programming languages
• Domain-specific language
• JetBrains MPS
• JetBrains
• Red
• Interpreter
• Structure editor
• Declarative programming

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

Source URL: www.falkhowar.de

• Software testing
• Software engineering
• Computing
• Software development
• Symbolic execution
• Random testing
• Unit testing
• Code coverage
• Test automation
• Algorithm
• Manual testing
• Concolic testing

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

Source URL: dslab.epfl.ch

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

Source URL: cryptosense.com

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

Source URL: testcover.com

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

Source URL: ucare.cs.uchicago.edu

テスト技術者資格制度 Advanced Level シラバス日本語版 テストアナリスト Version 2012.J01 International Software Testing Qualifications Board

Source URL: jstqb.jp