Search

Now showing items 1-10 of 40

Computational support for the process of software requirement specification

Instituto de Biociências, Letras e Ciências Exatas; Universidade Estadual Paulista (UNESP); Escola de Engenharia de São Carlos; Universidade de São Paulo (USP) (2012-12-01)

The software industry has become more and more concerned with the appropriate application of activities that composes requirement engineering as a way to improve the quality of its products. In order to support these ...

Scheduler simulation using iSPD, an iconic-based computer grid simulator

Universidade Estadual Paulista (UNESP) (2012-09-28)

Increased accessibility to high-performance computing resources has created a demand for user support through performance evaluation tools like the iSPD (iconic Simulator for Parallel and Distributed systems), a simulator ...

Web system to aid project management

Universidade Estadual Paulista (UNESP) (2011-12-01)

This work describes a new web system to aid project management that was created to correct the principal deficiencies identified in systems having a common purpose which are at present available, as well as to follow the ...

Assessing the influence of multiple test case selection on mutation experiments

Delamaro, Márcio Eduardo; Offutt, Jeff (IEEE Computer SocietyCleveland, Ohio, 2014-03-31)

Mutation testing is widely used in experiments. Some papers experiment with mutation directly, while others use it to introduce faults to measure the effectiveness of tests created by other methods. There is some random ...

Using Dependability Benchmarks To Support Iso/iec Square

Friginal J.; Andres D.D.; Ruiz J.-C.; Moraes R. (, 2011)

Twenty-five Years Of Research In Structural And Mutation Testing

Delamaro M.E.; Chaim M.L.; Vincenzi A.M.R.; Jino M.; Maldonado J.C. (, 2011)

Applying Code Coverage Approach To An Infinite Failure Software Reliability Model

Crespo A.N.; Pasquini A.; Jino M.; Maldonado J.C. (, 2009)

Collecting, Analyzing And Archiving Results From Fault Injection Experiments

Arlat J.; Moraes R. (, 2011)

Analysis Of An Artifact Oriented Test Process Model And Of Testing Aspects Of Cmmi

Bueno P.M.S.; Crespo A.N.; Jino M. (, 2006)

A Review of the Brazilian NBR 15575 Standard: Applying the Simulation and Simplified Methods for Evaluating a Social House Thermal Performance

Chvatal, Karin Maria Soares; Marques, Tassia Helena Teixeira (San Diego, 2013)

The new Brazilian ABNT NBR 15575 Standard (the ―Standard‖) recommends two methods for analyzing housing thermal performance: a simplified and a computational simulation method. The aim of this paper is to evaluate both ...