… The 2nd ACM/IEEE International Conference on Automation of Software Test AST 2021

Software testing of modern distributed and pervasive systems remains … in Madrid, Spain.

The conference theme for AST 2021 is “Automatic Software Testing …

… The test oracle problem is one of the most challenging problems in software … Testing (MT), and has proven that MT can effectively alleviate the oracle problem and detect real bugs. Compared with most other testing methods, where …

… , the International Workshop on Testing for Deep Learning and Deep Learning for Testing … collision avoidance systems. Thus, it is crucial to rigorously test …, ML is being applied for devising novel program analysis and software testing …

… for developing testing quantum programs, executing quantum software, developing best … software design

• Quantum software testing

• Quantum software verification …

… , including planning, requirements, design, implementation, and testing …, requirements, design, implementation, and testing. Requirements should … documentation). Testing must include unit testing, and possibly integration and acceptance …

… and reliability in Blockchain and Smart Contracts Smart Contract Testing (SCT) Blockchain Transaction Testing (BTT) to ensure status integrity Blockchain Software …

… are used as test subjects in research. Researchers expect good work to take a few …

… on the state of art regarding the automated testing and analysis of software systems …-based verification and testing. More details can be found …

… : user requirement formulation, design, implementation, verification/testing …

… Reality. Testing and validation for adhering to ethical standard …

… ICSE 2011 is:

“A Practical Guide for Using Statistical Tests to Assess …

… and may try to tweak provided inputs and create new ones, to test the limits …

… with Apple Classrooms of Tomorrow, she developed and field-tested some …

… in design and implementation methods, testing and analysis approaches, user interfaces …

… , re-engineering, migration, security, auditing, and testing; * Comprehension of software artifacts ranging from requirements documents to test cases and crash …

… …

… . These projects can be built and tested (if they contain tests) in an automated … Maven, so it may not be feasible to build and test them.

The challenge is open … quickly found and fixed? * Testing: How is testing related to SStuBs? Do …

… ., & Holmes, R. (2014, May). Coverage is not strongly correlated with test suite …-specified sufficient outcome-neutral tests for ensuring that the results obtained can test the stated hypotheses, including positive controls and quality checks …

… , * release information, * CI logs, * deployment and delivery, * test data …

… for their ICSE 2021 paper entitled “A Practical Guide for Using Statistical Tests … challenges of using statistical tests in software engineering.

ACM SIGSOFT … Differential Testing of Both JavaScript Engines and Specification …

… Testing … The 14th Search-Based Software Testing Workshop … International Workshop on Deep Learning for Testing and Testing for Deep …

… methods for software evolution, model inference, testing, and synthesis. His … testing, with a particular focus on methods of analysis. He teaches Bayesian …, Chalmers and the University of Gothenburg, and head of the Testing, Requirements …

… for SE. SE for AI * Testing * Program Analysis * Requirements, Design …

… National Research Council, and her name is best known within the Software Testing … Influential Paper Award, IEEE Security and Privacy Test of Time Award, ACM/AAAI …

…  
* Testing and analysis * Software testing * Program analysis …

… , and test-of-time awards. Three of his papers were invited to appear in CACM Research … on the editorial board of IEEE Access, Wiley Software Testing, Verification and Reliability … research in software testing, reliability, metrics and other areas of Software …

… include notes illustrating a very basic usage example or a method to test …