"schedule_Session", "auth" => "schedule_Auth", "perm" => "schedule_Perm")); if($submit_logout) { $auth->logout(); $sess->delete(); require("./setup.inc"); page_open(array("sess" => "schedule_Session", "auth" => "schedule_Auth", "perm" => "schedule_Perm")); } elseif ($submit_login) { $auth->login_if("yes"); } ?> Description

NSF-CNPq "Readers" Project

A Collaborative Research to Develop, Validate and Package Reading Techniques for Software Defect Detection

Home Aims and Plan Team References Workshops Lab Packages

auth["uid"] == "nobody") { ?>

NSF-CNPq "Readers" Project
OR
E-mail
Password

NSF-CNPq "Readers" Project

Welcome!

auth['email']; ?>

If you are not this person,

please logout.

 

 

Description

This research focus on developing techniques to analyze software documents for defect detection. More specifically, mutation testing and document reading techniques will be tailored to detect defects in software formal specifications and source code at Brazilian and American academia and industries. This family of software analysis technologies will be empirically validated in controlled experiments, and packaged in tailorable and reusable software engineering laboratory packages. The goals of this work are:

  • to create software analysis technologies that can be successfully used for defect detection in software specifications and code, and develop empirical methods that can be followed to continually improve those techniques in different environments and cultural settings; 

  • to develop evaluation methods that can be used to compare diverse software defect detection technologies in academic and industrial settings; 

  • to expand the software analysis technology base, creating new laboratory packages that can be adapted and reused by other software engineering researchers, based upon their own environmental and cultural needs.

This page was last updated on 29/04/03.