Sciweavers

8347 search results - page 117 / 1670
» Performance testing of software systems
Sort
View
ASPLOS
2009
ACM
14 years 10 months ago
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
Martin Dimitrov, Huiyang Zhou
ENTCS
2007
97views more  ENTCS 2007»
13 years 9 months ago
Can a Model Checker Generate Tests for Non-Deterministic Systems?
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
Sergiy Boroday, Alexandre Petrenko, Roland Groz
ISPW
2006
IEEE
14 years 3 months ago
Automated Recognition of Low-Level Process: A Pilot Validation Study of Zorro for Test-Driven Development
Abstract. Zorro is a system designed to automatically determine whether a developer is complying with the Test-Driven Development (TDD) process. Automated recognition of TDD could ...
Hongbing Kou, Philip M. Johnson
GECCO
2006
Springer
253views Optimization» more  GECCO 2006»
14 years 27 days ago
A novel approach to optimize clone refactoring activity
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
Salah Bouktif, Giuliano Antoniol, Ettore Merlo, Ma...
CIKM
2008
Springer
13 years 11 months ago
The patent mining task in the seventh NTCIR workshop
This paper introduces the Patent Mining Task of the Seventh NTCIR Workshop and the test collections produced in this task. The task's goal was the classification of research ...
Hidetsugu Nanba, Atsushi Fujii, Makoto Iwayama, Ta...