Sciweavers

15 search results - page 1 / 3

» issre 2005

25

ISSRE
2005
IEEE

89views Software Engineering» more ISSRE 2005»

Covering Transitions of Concurrent Systems through Queues

14 years 4 months ago

Covering Transitions of Concurrent Systems through Queues

Download www.crim.ca

Jiale Huo, Alexandre Petrenko

claim paper

Read More »

32

ISSRE
2005
IEEE

95views Software Engineering» more ISSRE 2005»

Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs

14 years 4 months ago

Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs

Download membres-liglab.imag.fr

Abdesselam Lakehal, Ioannis Parissis

claim paper

Read More »

28

ISSRE
2005
IEEE

111views Software Engineering» more ISSRE 2005»

Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs

14 years 4 months ago

Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs

Download people.engr.ncsu.edu

Tao Xie, David Notkin

claim paper

Read More »

23

ISSRE
2005
IEEE

59views Software Engineering» more ISSRE 2005»

Modeling the Vulnerability Discovery Process

14 years 4 months ago

Modeling the Vulnerability Discovery Process

Download www.cs.colostate.edu

Omar H. Alhazmi, Yashwant K. Malaiya

claim paper

Read More »

25

ISSRE
2005
IEEE

98views Software Engineering» more ISSRE 2005»

Markovian Modeling and Analysis of Internet Worm Propagation

14 years 4 months ago

Markovian Modeling and Analysis of Internet Worm Propagation

Download www.orsj.or.jp

Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »