Sciweavers

8 search results - page 2 / 2
» apsec 1997
Sort
View
74
Voted
APSEC
1997
IEEE
15 years 2 months ago
Legacy Systems Migration : A Method and its Tool-Kit Framework
The problems posed by mission-critical legacy systems - brittleness, inflexibility, isolation, non-extensibility, lack of openness etc. - are well known, but practical solutions h...
Bing Wu, Deirdre Lawless, Jesus Bisbal, Jane Grims...
APSEC
1997
IEEE
15 years 2 months ago
A Test-case Generation Method for Concurrent Programs Including Task-types
A task-type in concurrent programs is a template of task-instances which are dynamically generated in execution of the programs. The number of the generated taskinstances may not ...
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
91
Voted
APSEC
1997
IEEE
15 years 2 months ago
Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis
An underlying assumption for N-version programming technique is that independently developed versions would fail in a statistically independent mannel: Howevel; empirical studies ...
Gwang Sik Yoon, Sung Deok Cha, Yong Rae Kwon, Chan...