METRICS
1998
IEEE
14 years 7 days ago
1998
IEEE
METRICS
1998
IEEE
14 years 7 days ago
1998
IEEE
METRICS
1998
IEEE
14 years 7 days ago
1998
IEEE
KBSE
1998
IEEE
14 years 7 days ago
1998
IEEE
KBSE
1998
IEEE
14 years 7 days ago
1998
IEEE
Cognitive models of software comprehension are potential sources of theoretical knowledge for tool designers. Although their use in analysis of existing tools is fairly wellestabl...
KBSE
1998
IEEE
14 years 7 days ago
1998
IEEE
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
KBSE
1998
IEEE
14 years 7 days ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
KBSE
1998
IEEE
14 years 7 days ago
1998
IEEE
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...
KBSE
1998
IEEE
14 years 7 days ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
KBSE
1998
IEEE
14 years 7 days ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...