By Topic

Software Engineering, IEEE Transactions on

Issue 2 • Date Feb. 2013

Filter Results

Displaying Results 1 - 9 of 9
  • E-ditorial: State of the Journal

    Publication Year: 2013 , Page(s): 145 - 146
    Request Permissions | PDF file iconPDF (84 KB)  
    Freely Available from IEEE
  • Automated Behavioral Testing of Refactoring Engines

    Publication Year: 2013 , Page(s): 147 - 162
    Cited by:  Papers (6)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1211 KB) |  | HTML iconHTML  

    Refactoring is a transformation that preserves the external behavior of a program and improves its internal quality. Usually, compilation errors and behavioral changes are avoided by preconditions determined for each refactoring transformation. However, to formally define these preconditions and transfer them to program checks is a rather complex task. In practice, refactoring engine developers co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Centroidal Voronoi Tessellations- A New Approach to Random Testing

    Publication Year: 2013 , Page(s): 163 - 183
    Cited by:  Papers (5)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (2576 KB) |  | HTML iconHTML  

    Although Random Testing (RT) is low cost and straightforward, its effectiveness is not satisfactory. To increase the effectiveness of RT, researchers have developed Adaptive Random Testing (ART) and Quasi-Random Testing (QRT) methods which attempt to maximize the test case coverage of the input domain. This paper proposes the use of Centroidal Voronoi Tessellations (CVT) to address this problem. A... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support

    Publication Year: 2013 , Page(s): 184 - 196
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1847 KB) |  | HTML iconHTML  

    With the wide support for object serialization in object-oriented programming languages, persistent objects have become commonplace and most large object-oriented software systems rely on extensive amounts of persistent data. Such systems also evolve over time. Retrieving previously persisted objects from classes whose schema has changed is, however, difficult, and may lead to invalidating the con... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • How Programmers Debug, Revisited: An Information Foraging Theory Perspective

    Publication Year: 2013 , Page(s): 197 - 215
    Cited by:  Papers (4)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1630 KB) |  | HTML iconHTML  

    Many theories of human debugging rely on complex mental constructs that offer little practical advice to builders of software engineering tools. Although hypotheses are important in debugging, a theory of navigation adds more practical value to our understanding of how programmers debug. Therefore, in this paper, we reconsider how people go about debugging in large collections of source code using... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems

    Publication Year: 2013 , Page(s): 216 - 236
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1243 KB) |  | HTML iconHTML  

    Asynchronous reactive systems form the basis of a wide range of software systems, for instance in the telecommunications domain. It is highly desirable to rigorously show that these systems are correctly designed. However, traditional formal approaches to the verification of these systems are often difficult because asynchronous reactive systems usually possess extremely large or even infinite sta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toward Comprehensible Software Fault Prediction Models Using Bayesian Network Classifiers

    Publication Year: 2013 , Page(s): 237 - 257
    Cited by:  Papers (2)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (4116 KB) |  | HTML iconHTML  

    Software testing is a crucial activity during software development and fault prediction models assist practitioners herein by providing an upfront identification of faulty software code by drawing upon the machine learning literature. While especially the Naive Bayes classifier is often applied in this regard, citing predictive performance and comprehensibility as its major strengths, a number of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using Dependency Structures for Prioritization of Functional Test Suites

    Publication Year: 2013 , Page(s): 258 - 275
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1763 KB) |  | HTML iconHTML  

    Test case prioritization is the process of ordering the execution of test cases to achieve a certain goal, such as increasing the rate of fault detection. Increasing the rate of fault detection can provide earlier feedback to system developers, improving fault fixing activity and, ultimately, software delivery. Many existing test case prioritization techniques consider that tests can be run in any... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Whole Test Suite Generation

    Publication Year: 2013 , Page(s): 276 - 291
    Cited by:  Papers (17)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1234 KB) |  | HTML iconHTML  

    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 oracles. As this is a difficult task, it is important to produce small yet representative test sets, and this representativeness is typically measu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.

Aims & Scope

The IEEE Transactions on Software Engineering is interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software. The scope of this Transactions ranges from the mechanisms through the development of principles to the application of those principles to specific environments. Specific topic areas include: a) development and maintenance methods and models, e.g., techniques and principles for the specification, design, and implementation of software systems, including notations and process models; b) assessment methods, e.g., software tests and validation, reliability models, test and diagnosis procedures, software redundancy and design for error control, and the measurements and evaluation of various aspects of the process and product; c) software project management, e.g., productivity factors, cost models, schedule and organizational issues, standards; d) tools and environments, e.g., specific tools, integrated tool environments including the associated architectures, databases, and parallel and distributed processing issues; e) system issues, e.g., hardware-software trade-off; and f) state-of-the-art surveys that provide a synthesis and comprehensive review of the historical development of one particular area of interest.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Matthew B. Dwyer
Dept. Computer Science and Engineering
256 Avery Hall
University of Nebraska-Lincoln
Lincoln, NE 68588-0115 USA
tse-eic@computer.org