612 search results - page 12 / 123 » An Empirical Study of Agent Programs |
108
click to vote
SIGCSE
2009
ACM
16 years 8 days ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
116
click to vote
VL
2005
IEEE
15 years 5 months ago
2005
IEEE
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
STVR
2002
14 years 11 months ago
2002
Test-suite reduction techniques attempt to reduce the costs of saving and reusing test cases during software maintenance by eliminating redundant test cases from test suites. A po...
105
click to vote
ISESE
2005
IEEE
15 years 5 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...