Sciweavers

926 search results - page 65 / 186
» Tool Support for Statistical Testing of Software Components
Sort
View
KBSE
2005
IEEE
14 years 1 months ago
Automatic test factoring for java
Test factoring creates fast, focused unit tests from slow system-wide tests; each new unit test exercises only a subset of the functionality exercised by the system test. Augmenti...
David Saff, Shay Artzi, Jeff H. Perkins, Michael D...
EUROMICRO
2005
IEEE
14 years 1 months ago
A Tool Integration Platform for Multi-Disciplinary Development
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
Jad El-khoury, Ola Redell, Martin Törngren
ICFEM
1998
Springer
13 years 12 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
SOFTVIS
2010
ACM
13 years 8 months ago
TIE: an interactive visualization of thread interleavings
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
Gowritharan Maheswara, Jeremy S. Bradbury, Christo...
HPDC
1993
IEEE
14 years 11 days ago
Supporting Heterogeneity and Distribution in the Numerical Propulsion System
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
Patrick T. Homer, Richard D. Schlichting