Current issues in multi-agent systems development
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
| Hi-index | 0.00 |
Welcome to ISSTA 2004: the Fourteenth International Symposium on Software Testing and Analysis. ISSTA 2004 brings together academics, industrial researchers, and practitioners to exchange new ideas, solve problems, and share experiences related to problems involving software testing and program analysis.The program for ISSTA 2004 begins with two workshops: the Workshop on Testing, Analysis, and Verification of Web Services, and the Workshop on Empirical Research in Software Testing. These workshops are followed by the ISSTA technical program, which consists of research papers, tools papers, and two invited speakers. Ninety-three research papers were submitted to ISSTA. Each paper was reviewed by at least three members of the Program Committee, and some were reviewed by four or five members and/or outside reviewers. The Program Committee selected twenty-six of these papers for inclusion in the conference. Eight tools papers were also submitted, and the Program Committee selected two of these papers. Our invited speakers, Robert Kurshan, and David Harel, speak on issues relevant to analysis and validation of software.ISSTA 2004 is collocated with the 16th International Conference on Computer Aided Verification (CAV), and the final day of ISSTA's technical program is also the first day of CAV's technical program. ISSTA and CAV sessions on this shared day are open to attendees of both conferences: the day includes a joint ISSTA/CAV keynote address by David Harel, as well as ISSTA and CAV technical papers sessions. To further facilitate interaction, a joint ISSTA/CAV reception will be held on Tuesday night. We also hope that you'll stay and participate in the CAV sessions in the days that follow.