B Miranda, A Bertolino - Proceedings of the 11th International Workshop …, 2016 - dl.acm.org
We introduce a new coverage measure, called the operational coverage, which is customized to the usage profile (count spectrum) of the entities to be covered. Operational …
Y Meng, G Gay, M Whalen - IEEE Transactions on Software …, 2018 - ieeexplore.ieee.org
Test adequacy criteria are widely used to guide test creation. However, many of these criteria are sensitive to statement structure or the choice of test oracle. This is because such …
Software bounded model checkers (BMC) are today powerful tools to perform verification at unit level, but are not used at their potential in the safety critical context. One reason for this …
G Gay, M Staats, MW Whalen… - Proceedings of the 7th …, 2014 - dl.acm.org
Structural coverage criteria have been proposed to measure the adequacy of testing efforts. Indeed, in some domains—eg, critical systems areas—structural coverage criteria must be …
A Kolchin, S Potiyenko, T Weigert - … 2019, Vilnius, Lithuania, October 10–12 …, 2019 - Springer
This paper focuses on challenges to automatic test suite generation from formal models of software systems. Popular tools and methods and their limitations are discussed. Data …
MW Whalen, S Person, N Rungta… - 2015 IEEE/ACM 37th …, 2015 - ieeexplore.ieee.org
Software analysis tools and techniques often leverage structural code coverage information to reason about the dynamic behavior of software. Existing techniques instrument the code …
L Loh, Y Ozturk - Proceedings of the Eighth IEEE Symposium …, 2003 - ieeexplore.ieee.org
Home phoneline networking alliance (HPNA) 2.0 is a new standard for high-speed last- meter networks, which utilizes home phone lines. HPNA 2.0 offers a data rate of between 4 …
IP Bousy, ET Barr, D Clark - IEEE Transactions on Software …, 2022 - ieeexplore.ieee.org
Too often, programmers are under pressure to maximize their confidence in the correctness of their code with a tight testing budget. Should they spend some of that budget on finding …
B Miranda - Proceedings of the 29th ACM/IEEE International …, 2014 - dl.acm.org
Test coverage information can be very useful for guiding testers in enhancing their test suites to exercise possible uncovered entities and in deciding when to stop testing. Since …