2441 search results - page 164 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
PROCOMET
1998
15 years 18 days ago
1998
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
TSE
2010
14 years 9 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
ICSE
2009
IEEE-ACM
15 years 3 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
Test factoring creates fast, focused unit tests from slow system-wide tests; each new unit test exercises only a subset of the functionality exercised by the system test. Augmenti...
121
click to vote
ENTCS
2007
14 years 11 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...