Sciweavers

926 search results - page 19 / 186
» Tool Support for Statistical Testing of Software Components
Sort
View
ICST
2008
IEEE
14 years 2 months ago
Model-Based Testing of Automotive Systems
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
Eckard Bringmann, Andreas Krämer
XPU
2009
Springer
14 years 3 months ago
ActiveStory Enhanced: Low-Fidelity Prototyping and Wizard of Oz Usability Testing Tool
This paper presents “ActiveStory Enhanced” as a tool that enables prototyping user interfaces and conducting usability tests in a way that is aligned with agile principles. The...
Ali Hosseini-Khayat, Yaser Ghanam, Shelly Park, Fr...
APSEC
2000
IEEE
13 years 12 months ago
A GUI and testing tool for SOFL
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto
ICSE
2009
IEEE-ACM
14 years 3 months ago
MINTS: A general framework and tool for supporting test-suite minimization
Regression test suites tend to grow over time as new test cases are added to exercise new functionality or to target newly-discovered faults. When test suites become too large, th...
Hwa-You Hsu, Alessandro Orso
ADAEUROPE
1997
Springer
14 years 16 days ago
Systematic Unit-Testing of Ada Programs
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
Joachim Wegener, Ines Fey