Sciweavers

383 search results - page 44 / 77
» Unit testing concurrent software
Sort
View
ISSTA
2010
ACM
14 years 1 months ago
On test repair using symbolic execution
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
Brett Daniel, Tihomir Gvero, Darko Marinov
ISSRE
2010
IEEE
13 years 8 months ago
Automating System Tests Using Declarative Virtual Machines
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
Sander van der Burg, Eelco Dolstra
SIGSOFT
2003
ACM
14 years 10 months ago
Consistency techniques for interprocedural test data generation
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
Nguyen Tran Sy, Yves Deville
AADEBUG
2005
Springer
13 years 12 months ago
On the design of a pervasive debugger
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
Alex Ho, Steven Hand
ROBOCUP
1999
Springer
101views Robotics» more  ROBOCUP 1999»
14 years 2 months ago
Design and Construction of a Soccer Player Robot ARVAND
Arvand is a robot specially designed and constructed for playing soccer according to RoboCup rules and regulations for the medium size robots. This robot consists of three main par...
Mansour Jamzad, Amirali Foroughnassiraei, Ehsan Ch...