4079 search results - page 185 / 816 » Differential Testing for Software |
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Designers of children's technology are often more interested in user motivation than those who design systems for adults. Since children's technology often has aims such...
AOSD
2006
ACM
14 years 3 months ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
APSEC
2000
IEEE
14 years 25 days ago
2000
IEEE
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...
IASTEDSE
2004
13 years 10 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
KBSE
2010
IEEE
13 years 7 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...