Results 61 to 70 of about 97 (91)
Some of the next articles are maybe not open access.
Concolic Testing and Constraint Satisfaction
2011Software testing is the most common technique used in industry to improve reliability and quality of software. Unfortunately, testing is mostly a manual process that reportedly accounts for over half of the typical cost of software development and maintenance.
openaire +2 more sources
Concolic testing: a decade later (keynote)
Proceedings of the 13th International Workshop on Dynamic Analysis, 2015Symbolic execution for software testing has witnessed renewed interest in the recent years due to its ability to generate high-coverage test suites and find deep errors in software systems. In this talk, I will give an overview of a modern symbolic execution technique, called concolic testing, discuss its key challenges in terms of path exploration ...
openaire +1 more source
Concolic execution for RPA testing
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), 2023Ciprian Paduraru +2 more
openaire +2 more sources
Concolic Testing Framework for Industrial Embedded Software
2014 21st Asia-Pacific Software Engineering Conference, 2014Recently, concolic testing has drawn a lot of attention from the research community as a practical solution of overcoming limitations of manual test case generation. CONBOL, a concolic testing framework for large-scale embedded industrial software, has shown effectiveness of discovering real defects even for commercial quality software.
Taeksu Kim +3 more
openaire +2 more sources
Concolic testing for models of state-based systems
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019Testing models of modern cyber-physical systems is not straightforward due to timing constraints, numerous if not infinite possible behaviors, and complex communications between components. Software testing tools and approaches that can generate test cases to test these systems are therefore important.
Reza Ahmadi, Juergen Dingel
openaire +1 more source
Type-aware concolic testing of JavaScript programs
Proceedings of the 38th International Conference on Software Engineering, 2016Conventional concolic testing has been used to provide high coverage of paths in statically typed languages. While it has also been applied in the context of JavaScript (JS) programs, we observe that applying concolic testing to dynamically-typed JS programs involves tackling unique problems to ensure scalability.
Monika Dhok +2 more
openaire +1 more source
Concolic Testing of Functional Logic Programs
2018In the last years, concolic testing, a technique combining concrete and symbolic execution for the automated generation of test cases, has gained increasing popularity. Concolic testing tools are initialized with expressions on concrete input data.
openaire +1 more source
Concolic testing with static analysis for JavaScript applications
Proceedings of the companion publication of the 13th international conference on Modularity, 2014JavaScript has given a great deal of impacts on the software industry. However, developers test JavaScript applications only with manually constructed test cases, which makes it difficult and time-consuming to obtain reasonable test coverage. Because of the loosely-typed and extremely dynamic features of JavaScript, generating nontrivial test inputs of
openaire +2 more sources
Concolic Test Generation and the Cloud
2012Software testing in the cloud can reduce the need for hardware and software resources and offer a flexible and efficient alternative to the traditional software testing process. A major obstacle to the wider use of testing in the cloud is related to security issues.
openaire +1 more source
FUZZOLIC: Mixing Fuzzing and Concolic Execution
Computers and Security, 2021Camil Demetrescu +2 more
exaly