Software test-code engineering: A systematic mapping

VG Yusifoğlu, Y Amannejad, AB Can - Information and Software …, 2015 - Elsevier
Context As a result of automated software testing, large amounts of software test code
(script) are usually developed by software teams. Automated test scripts provide many …

CUTE: A concolic unit testing engine for C

K Sen, D Marinov, G Agha - ACM SIGSOFT Software Engineering Notes, 2005 - dl.acm.org
In unit testing, a program is decomposed into units which are collections of functions. A part
of unit can be tested by generating inputs for a single entry function. The entry function may …

Feedback-directed random test generation

C Pacheco, SK Lahiri, MD Ernst… - … Conference on Software …, 2007 - ieeexplore.ieee.org
We present a technique that improves random test generation by incorporating feedback
obtained from executing test inputs as they are created. Our technique builds inputs …

A large-scale evaluation of automated unit test generation using evosuite

G Fraser, A Arcuri - ACM Transactions on Software Engineering and …, 2014 - dl.acm.org
Research on software testing produces many innovative automated techniques, but
because software testing is by necessity incomplete and approximate, any new technique …

Hybrid concolic testing

R Majumdar, K Sen - 29th International Conference on Software …, 2007 - ieeexplore.ieee.org
We present hybrid concolic testing, an algorithm that interleaves random testing with
concolic execution to obtain both a deep and a wide exploration of program state space. Our …

Smells in software test code: A survey of knowledge in industry and academia

V Garousi, B Küçük - Journal of systems and software, 2018 - Elsevier
As a type of anti-pattern, test smells are defined as poorly designed tests and their presence
may negatively affect the quality of test suites and production code. Test smells are the …

Maintaining behaviour driven development specifications: Challenges and opportunities

LP Binamungu, SM Embury… - 2018 IEEE 25th …, 2018 - ieeexplore.ieee.org
In Behaviour-Driven Development (BDD) the behaviour of a software system is specified as
a set of example interactions with the system using a" Given-When-Then" structure. These …

Eclat: Automatic generation and classification of test inputs

C Pacheco, MD Ernst - ECOOP 2005-Object-Oriented Programming: 19th …, 2005 - Springer
This paper describes a technique that selects, from a large set of test inputs, a small subset
likely to reveal faults in the software under test. The technique takes a program or software …

Symstra: A framework for generating object-oriented unit tests using symbolic execution

T Xie, D Marinov, W Schulte, D Notkin - … , TACAS 2005, Held as Part of the …, 2005 - Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an
invocation depends on the method's arguments and the state of the receiver at the …

Sound empirical evidence in software testing

G Fraser, A Arcuri - 2012 34th International Conference on …, 2012 - ieeexplore.ieee.org
Several promising techniques have been proposed to automate different tasks in software
testing, such as test data generation for object-oriented software. However, reported studies …