Sciweavers

15 search results - page 1 / 3

» issre 2005

8

ISSRE
2005
IEEE

89views Software Engineering» more ISSRE 2005»

Covering Transitions of Concurrent Systems through Queues

13 years 10 months ago

Covering Transitions of Concurrent Systems through Queues

Download www.crim.ca

Jiale Huo, Alexandre Petrenko

claim paper

Read More »

9

ISSRE
2005
IEEE

95views Software Engineering» more ISSRE 2005»

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

13 years 10 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 »

11

ISSRE
2005
IEEE

111views Software Engineering» more ISSRE 2005»

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

13 years 10 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 »

9

ISSRE
2005
IEEE

59views Software Engineering» more ISSRE 2005»

Modeling the Vulnerability Discovery Process

13 years 10 months ago

Modeling the Vulnerability Discovery Process

Download www.cs.colostate.edu

Omar H. Alhazmi, Yashwant K. Malaiya

claim paper

Read More »

11

ISSRE
2005
IEEE

98views Software Engineering» more ISSRE 2005»

Markovian Modeling and Analysis of Internet Worm Propagation

13 years 10 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 »