Sciweavers

APSEC
2009
IEEE
13 years 10 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
APSEC
2009
IEEE
14 years 3 months ago
Sequence Diagram Slicing
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa, S...
APSEC
2009
IEEE
14 years 5 months ago
Unit Testing Approaches for BPEL: A Systematic Review
Zulfa Zakaria, Rodziah Binti Atan, Abdul Azim Abdu...
APSEC
2009
IEEE
14 years 7 months ago
Test Coverage Metric for Two-Staged Language with Abstract Interpretation
Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik,...
APSEC
2009
IEEE
14 years 7 months ago
Directed Test Suite Augmentation
Abstract—As software evolves, engineers use regression testing to evaluate its fitness for release. Such testing typically begins with existing test cases, and many techniques h...
Zhihong Xu, Gregg Rothermel
APSEC
2009
IEEE
14 years 7 months ago
Assessing and Estimating Corrective, Enhancive, and Reductive Maintenance Tasks: A Controlled Experiment
— This paper describes a controlled experiment of student programmers performing maintenance tasks on a C++ program. The goal of the study is to assess the maintenance size, effo...
Vu Nguyen, Barry W. Boehm, Phongphan Danphitsanuph...