Sciweavers

391 search results - page 34 / 79
» A genetic programming approach to automated software repair
Sort
View
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
15 years 3 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
COR
2008
164views more  COR 2008»
14 years 12 months ago
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
Enrique Alba, J. Francisco Chicano
VTS
2002
IEEE
120views Hardware» more  VTS 2002»
15 years 4 months ago
Software-Based Weighted Random Testing for IP Cores in Bus-Based Programmable SoCs
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
Madhu K. Iyer, Kwang-Ting Cheng
GI
2007
Springer
15 years 6 months ago
Test Automation Meets Static Analysis
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
Jan Peleska, Helge Löding, Tatiana Kotas
TSE
2011
111views more  TSE 2011»
14 years 6 months ago
Software Module Clustering as a Multi-Objective Search Problem
Software module clustering is the problem of automatically organising software units into modules to improve program structure. There has been a great deal of recent interest in s...
Kata Praditwong, Mark Harman, Xin Yao