Sciweavers

7380 search results - page 1024 / 1476
» Engineering Software Intensive Systems
Sort
View
137
Voted
ISSRE
2008
IEEE
15 years 11 months ago
Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...
Prasanth Anbalagan, Tao Xie
KBSE
2008
IEEE
15 years 11 months ago
Random Test Run Length and Effectiveness
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
James H. Andrews, Alex Groce, Melissa Weston, Ru-G...
KBSE
2008
IEEE
15 years 11 months ago
Inferring Finite-State Models with Temporal Constraints
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
Neil Walkinshaw, Kirill Bogdanov
ICSEA
2007
IEEE
15 years 11 months ago
DEUCE : Separating Concerns in User Interfaces
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
Sofie Goderis, Dirk Deridder, Ellen Van Paesschen
FASE
2007
Springer
15 years 11 months ago
Flexible and Extensible Notations for Modeling Languages
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk
« Prev « First page 1024 / 1476 Last » Next »