Sciweavers

3547 search results - page 402 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 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
149
Voted
CHI
2002
ACM
16 years 7 months ago
LMNKui: overlaying computer controls on a piano controller keyboard
We introduce the Look Ma No Keyboard user interface, an ergonomic and intuitive method for controlling music sequencing software from a piano controller by adding a momentary foot...
Farhan Mohamed, Sidney Fels
ICSE
2009
IEEE-ACM
16 years 1 months ago
Semantics-based code search
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
Steven P. Reiss
AGILEDC
2008
IEEE
16 years 1 months ago
Coding Dojo: An Environment for Learning and Sharing Agile Practices
A Coding Dojo is a meeting where a group of programmers gets together to learn, practice, and share experiences. This report describes the authors’ experience of creating and ru...
Danilo T. Sato, Hugo Corbucci, Mariana V. Bravo
SEFM
2007
IEEE
16 years 1 months ago
Proving Termination by Divergence
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byr...