Search Sciweavers | Sciweavers

15777 search results - page 475 / 3156

» The Reformulation-Optimization Software Engine

click to vote

ICSE
2008
IEEE-ACM

155views Software Engineering» more ICSE 2008»

State extensions for java pathfinder

16 years 5 months ago

Download javapathfinder.sourceforge.net

Tihomir Gvero, Milos Gligoric, Steven Lauterburg, ...

claim paper

Read More »

116

click to vote

SIGSOFT
2009
ACM

165views Software Engineering» more SIGSOFT 2009»

Automated security testing of web widget interactions

16 years 5 months ago

Download swerl.tudelft.nl

Cor-Paul Bezemer, Ali Mesbah, Arie van Deursen

claim paper

Read More »

102

click to vote

SIGSOFT
2007
ACM

127views Software Engineering» more SIGSOFT 2007»

Automatic consistency assessment for query results in dynamic environments

16 years 5 months ago

Download mpc.ece.utexas.edu

Jamie Payton, Christine Julien, Gruia-Catalin Roma...

claim paper

Read More »

127

click to vote

SIGSOFT
2007
ACM

128views Software Engineering» more SIGSOFT 2007»

Contract driven development = test driven development - writing test cases

16 years 5 months ago

Download groups.csail.mit.edu

Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertr...

claim paper

Read More »

click to vote

SIGSOFT
2006
ACM

118views Software Engineering» more SIGSOFT 2006»

Controlling factors in evaluating path-sensitive error detection techniques

16 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers