Search Sciweavers | Sciweavers

4079 search results - page 114 / 816

» Differential Testing for Software

click to vote

ISSTA
2006
ACM

107views Software Engineering» more ISSTA 2006»

Testing, abstraction, theorem proving: better together!

14 years 3 months ago

Download www.cs.tau.ac.il

Greta Yorsh, Thomas Ball, Mooly Sagiv

claim paper

Read More »

click to vote

AGILEDC
2005
IEEE

110views Software Engineering» more AGILEDC 2005»

Experiences Teaching a Course in Programmer Testing

14 years 2 months ago

Download www.testingeducation.org

We teach a class on programmer-testing with a primary focus on test-driven development (TDD) as part of the software engineering curriculum at the Florida Institute of Technology....

Andy Tinkham, Cem Kaner

claim paper

Read More »

click to vote

ISSRE
2005
IEEE

111views Software Engineering» more ISSRE 2005»

Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs

14 years 2 months ago

Download people.engr.ncsu.edu

Tao Xie, David Notkin

claim paper

Read More »

click to vote

FATES
2004
Springer

79views Software Engineering» more FATES 2004»

Symbolic Test Case Generation for Primitive Recursive Functions

14 years 2 months ago

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

click to vote

ICFEM
2004
Springer

152views Software Engineering» more ICFEM 2004»

Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers