Sciweavers

4079 search results - page 232 / 816
» Differential Testing for Software
Sort
View
STTT
2008
117views more  STTT 2008»
13 years 9 months ago
An approach to quality engineering of TTCN-3 test specifications
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski
ECEASST
2010
13 years 7 months ago
Using Free/Libre Open Source Software Projects as E-learning Tools
: Free/Libre Open Source Software (FLOSS) projects can be considered as learning environments in which heterogeneous communities get together to exchange knowledge through discussi...
Antonio Cerone, Sulayman K. Sowe
ERSHOV
2006
Springer
14 years 1 months ago
Formal Methods in Industrial Software Standards Enforcement
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
Alexey Grinevich, Alexey V. Khoroshilov, Victor V....
AICCSA
2001
IEEE
112views Hardware» more  AICCSA 2001»
14 years 1 months ago
Implementation of DDARC: Software Architecture for Debugging Distributed Programs
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
Sushma Rai, D. Sampath, Srivathsa N. S.
DATE
2005
IEEE
96views Hardware» more  DATE 2005»
14 years 3 months ago
Structural Testing Based on Minimum Kernels
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...
Elena Dubrova