Search For:

Displaying 1-32 out of 32 total
The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper)
Found in: 2012 27th IEEE/ACM International Conference on Automated Software Engineering (ASE)
By Mark Harman,William B. Langdon,Yue Jia,David R. White,Andrea Arcuri,John A. Clark
Issue Date:September 2012
pp. 1-14
Optimising programs for non-functional properties such as speed, size, throughput, power consumption and bandwidth can be demanding; pity the poor programmer who is asked to cater for them all at once! We set out an alternate vision for a new kind of softw...
 
Evolutionary Generation of Whole Test Suites
Found in: Quality Software, International Conference on
By Gordon Fraser, Andrea Arcuri
Issue Date:July 2011
pp. 31-40
Recent advances in software testing allow automatic derivation of tests that reach almost any desired point in the source code. There is, however, a fundamental problem with the general idea of targeting one distinct test coverage goal at a time: Coverage ...
 
Generating Test Data from OCL Constraints with Search Techniques
Found in: IEEE Transactions on Software Engineering
By Shaukat Ali,Muhammad Zohaib Iqbal,Andrea Arcuri,Lionel C. Briand
Issue Date:October 2013
pp. 1376-1402
Model-based testing (MBT) aims at automated, scalable, and systematic testing solutions for complex industrial software systems. To increase chances of adoption in industrial contexts, software systems can be modeled using well-established standards such a...
 
EvoSuite at the SBST 2013 Tool Competition
Found in: 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW)
By Gordon Fraser,Andrea Arcuri
Issue Date:March 2013
pp. 406-409
EvoSuite is a mature research prototype that automatically generates unit tests for Java code. This paper summarizes the results and experiences in participating at the unit testing competition held at SBST 2013, where EvoSuite ranked first with a score of...
 
EvoSuite: On the Challenges of Test Case Generation in the Real World
Found in: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST)
By Gordon Fraser,Andrea Arcuri
Issue Date:March 2013
pp. 362-369
Test case generation is an important but tedious task, such that researchers have devised many different prototypes that aim to automate it. As these are research prototypes, they are usually only evaluated on a few hand-selected case studies, such that de...
 
Whole Test Suite Generation
Found in: IEEE Transactions on Software Engineering
By Gordon Fraser,Andrea Arcuri
Issue Date:February 2013
pp. 276-291
Not all bugs lead to program crashes, and not always is there a formal specification to check the correctness of a software test's outcome. A common scenario in software testing is therefore that test data are generated, and a tester manually adds test ora...
 
Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing
Found in: IEEE Transactions on Software Engineering
By Andrea Arcuri,Lionel Briand
Issue Date:September 2012
pp. 1088-1099
Modern systems are becoming highly configurable to satisfy the varying needs of customers and users. Software product lines are hence becoming a common trend in software development to reduce cost by enabling systematic, large-scale reuse. However, high le...
 
The Seed is Strong: Seeding Strategies in Search-Based Software Testing
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Gordon Fraser,Andrea Arcuri
Issue Date:April 2012
pp. 121-130
Search-based techniques have been shown useful for the task of generating tests, for example in the case of object-oriented software. But, as for any meta-heuristic search, the efficiency is heavily dependent on many different factors, seeding is one such ...
 
Random Testing: Theoretical Results and Practical Implications
Found in: IEEE Transactions on Software Engineering
By Andrea Arcuri,Muhammad Zohaib Iqbal,Lionel Briand
Issue Date:March 2012
pp. 258-277
A substantial amount of work has shed light on whether random testing is actually a useful testing technique. Despite its simplicity, several successful real-world applications have been reported in the literature. Although it is not going to solve all pos...
 
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation
Found in: Quality Software, International Conference on
By Shaukat Ali, Muhammad Zohaib Iqbal, Andrea Arcuri, Lionel Briand
Issue Date:July 2011
pp. 41-50
Model-based testing (MBT) aims at automated, scalable, and systematic testing solutions for complex industrial software systems. To increase chances of adoption in industrial contexts, software systems should be modeled using well-established standards suc...
 
A Theoretical and Empirical Analysis of the Role of Test Sequence Length in Software Testing for Structural Coverage
Found in: IEEE Transactions on Software Engineering
By Andrea Arcuri
Issue Date:May 2012
pp. 497-519
In the presence of an internal state, often a sequence of function calls is required to test software. In fact, to cover a particular branch of the code, a sequence of previous function calls might be required to put the internal state in the appropriate c...
 
Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Hadi Hemmati, Andrea Arcuri, Lionel Briand
Issue Date:March 2011
pp. 327-336
Our experience with applying model-based testing on industrial systems showed that the generated test suites are often too large and costly to execute given project deadlines and the limited resources for system testing on real platforms. In such industria...
 
It is Not the Length That Matters, It is How You Control It
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Gordon Fraser, Andrea Arcuri
Issue Date:March 2011
pp. 150-159
The length of test cases is a little investigated topic in search-based test generation for object oriented software, where test cases are sequences of method calls. While intuitively longer tests can achieve higher overall code coverage, there is always t...
 
It Does Matter How You Normalise the Branch Distance in Search Based Software Testing
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Andrea Arcuri
Issue Date:April 2010
pp. 205-214
The use of search algorithms for test data generation has seen many successful results. For structural criteria such as branch coverage, heuristics have been designed to help the search. The most common heuristic is the use of approach level (usually repre...
 
Longer is Better: On the Role of Test Sequence Length in Software Testing
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Andrea Arcuri
Issue Date:April 2010
pp. 469-478
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous function calls might be required to put the internal state in the appropriat...
 
Full Theoretical Runtime Analysis of Alternating Variable Method on the Triangle Classification Problem
Found in: Search Based Software Engineering, International Symposium on
By Andrea Arcuri
Issue Date:May 2009
pp. 113-121
Runtime Analysis is a type of theoretical investigation that aims to determine, via rigorous mathematical proofs,the time a search algorithm needs to find an optimal solution.This type of investigation is useful to understand why a search algorithm could b...
 
On Search Based Software Evolution
Found in: Search Based Software Engineering, International Symposium on
By Andrea Arcuri
Issue Date:May 2009
pp. 39-42
Writing software is a difficult and expensive task. Its automation is hence very valuable. Search algorithms have been successfully used to tackle many software engineering problems. Unfortunately, for some problems the traditional techniques have been of ...
 
On Test Data Generation of Object-Oriented Software
Found in: Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION
By Andrea Arcuri, Xin Yao
Issue Date:September 2007
pp. 72-76
<p>Nowadays, Object-Oriented (OO) languages are widely used in the development of many different kinds of applications. However, testing those applications is still very expensive and time-consuming for the software community. The automation of this ...
 
Theoretical Runtime Analyses of Search Algorithms on the Test Data Generation for the Triangle Classification Problem
Found in: Software Testing Verification and Validation Workshop, IEEE International Conference on
By Andrea Arcuri, Per Kristian Lehre, Xin Yao
Issue Date:April 2008
pp. 161-169
Software Testing plays an important role in the life cycle of software development. Because software testing is very costly and tedious, many techniques have been proposed to automate it. One technique that has achieved good results is the use of Search Al...
 
Improving search-based test suite generation with dynamic symbolic execution
Found in: 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)
By Juan Pablo Galeotti,Gordon Fraser,Andrea Arcuri
Issue Date:November 2013
pp. 360-369
Search-based testing can automatically generate unit test suites for object oriented code, but may struggle to generate specific values necessary to cover difficult parts of the code. Dynamic symbolic execution (DSE) efficiently generates such specific val...
   
Does automated white-box test generation really help software testers?
Found in: Proceedings of the 2013 International Symposium on Software Testing and Analysis (ISSTA 2013)
By Andrea Arcuri, Frank Padberg, Gordon Fraser, Matt Staats, Phil McMinn
Issue Date:July 2013
pp. 291-301
Automated test generation techniques can efficiently produce test data that systematically cover structural aspects of a program. In the absence of a specification, a common assumption is that these tests relieve a developer of most of the work, as the act...
     
Test suite generation with memetic algorithms
Found in: Proceeding of the fifteenth annual conference on Genetic and evolutionary computation conference (GECCO '13)
By Andrea Arcuri, Gordon Fraser, Phil McMinn
Issue Date:July 2013
pp. 1437-1444
Genetic Algorithms have been successfully applied to the generation of unit tests for classes, and are well suited to create complex objects through sequences of method calls. However, because the neighborhood in the search space for method sequences is hu...
     
Achieving scalable model-based testing through test case diversity
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Andrea Arcuri, Hadi Hemmati, Lionel Briand
Issue Date:February 2013
pp. 1-42
The increase in size and complexity of modern software systems requires scalable, systematic, and automated testing approaches. Model-based testing (MBT), as a systematic and automated test case generation technique, is being successfully applied to verify...
     
The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper)
Found in: Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012)
By Andrea Arcuri, David R. White, John A. Clark, Mark Harman, William B. Langdon, Yue Jia
Issue Date:September 2012
pp. 1-14
Optimising programs for non-functional properties such as speed, size, throughput, power consumption and bandwidth can be demanding; pity the poor programmer who is asked to cater for them all at once! We set out an alternate vision for a new kind of softw...
     
Empirical investigation of search algorithms for environment model-based testing of real-time embedded software
Found in: Proceedings of the 2012 International Symposium on Software Testing and Analysis (ISSTA 2012)
By Andrea Arcuri, Lionel Briand, Muhammad Zohaib Iqbal
Issue Date:July 2012
pp. 199-209
System testing of real-time embedded systems (RTES) is a challenging task and only a fully automated testing approach can scale up to the testing requirements of industrial RTES. One such approach, which offers the advantage for testing teams to be black-b...
     
Adaptive random testing: an illusion of effectiveness?
Found in: Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA '11)
By Andrea Arcuri, Lionel Briand
Issue Date:July 2011
pp. 265-275
Adaptive Random Testing (ART) has been proposed as an enhancement to random testing, based on assumptions on how failing test cases are distributed in the input domain. The main assumption is that failing test cases are usually grouped into contiguous regi...
     
A practical guide for using statistical tests to assess randomized algorithms in software engineering
Found in: Proceeding of the 33rd international conference on Software engineering (ICSE '11)
By Andrea Arcuri, Lionel Briand
Issue Date:May 2011
pp. 1-10
Randomized algorithms have been used to successfully address many different types of software engineering problems. This type of algorithms employ a degree of randomness as part of their logic. Randomized algorithms are useful for difficult problems where ...
     
An enhanced test case selection approach for model-based testing: an industrial case study
Found in: Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering (FSE '10)
By Andrea Arcuri, Hadi Hemmati, Lionel Briand, Shaukat Ali
Issue Date:November 2010
pp. 267-276
In recent years, Model-Based Testing (MBT) has attracted an increasingly wide interest from industry and academia. MBT allows automatic generation of a large and comprehensive set of test cases from system models (e.g., state machines), which leads to the ...
     
Formal analysis of the effectiveness and predictability of random testing
Found in: Proceedings of the 19th international symposium on Software testing and analysis (ISSTA '10)
By Andrea Arcuri, Lionel Briand, Muhammad Zohaib Iqbal
Issue Date:July 2010
pp. 219-230
There has been a lot of work to shed light on whether random testing is actually a useful testing technique. Despite its simplicity, several successful real-world applications appear in the literature. Although it is not going to solve all possible testing...
     
Insight knowledge in search based software testing
Found in: Proceedings of the 11th Annual conference on Genetic and evolutionary computation (GECCO '09)
By Andrea Arcuri
Issue Date:July 2009
pp. 46-52
Software testing can be re-formulated as a search problem, hence search algorithms (e.g., Genetic Algorithms) can be used to tackle it. Most of the research so far has been of empirical nature, in which novel proposed techniques have been validated on soft...
     
On the automation of fixing software bugs
Found in: Companion of the 13th international conference on Software engineering (ICSE Companion '08)
By Andrea Arcuri
Issue Date:May 2008
pp. 37-41
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after its presence has been discovered is still a duty of the programmers. Techniq...
     
Coevolving programs and unit tests from their specification
Found in: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (ASE '07)
By Andrea Arcuri
Issue Date:November 2007
pp. 397-400
Writing a formal specification before implementing a program helps to find problems with the system requirements. The requirements might be for example incomplete and ambiguous. Fixing these types of errors is very difficult and expensive during the implem...
     
 1