Search Sciweavers | Sciweavers

16725 search results - page 721 / 3345

» Engineering Software Correctness

162

click to vote

ISSRE
2005
IEEE

95views Software Engineering» more ISSRE 2005»

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

16 years 1 months ago

Download membres-liglab.imag.fr

Abdesselam Lakehal, Ioannis Parissis

claim paper

Read More »

182

click to vote

ISSRE
2005
IEEE

111views Software Engineering» more ISSRE 2005»

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

16 years 1 months ago

Download people.engr.ncsu.edu

Tao Xie, David Notkin

claim paper

Read More »

154

click to vote

ISSRE
2005
IEEE

98views Software Engineering» more ISSRE 2005»

Markovian Modeling and Analysis of Internet Worm Propagation

16 years 1 months ago

Download www.orsj.or.jp

Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi

claim paper

Read More »

130

click to vote

MSR
2005
ACM

101views Software Engineering» more MSR 2005»

Error detection by refactoring reconstruction

16 years 1 months ago

Download msr.uwaterloo.ca

ÁÒ Ñ ÒÝ × × Ø × ÒÓØ ×ÙÆ ÒØ ØÓ Ô Ö ÓÖÑ Ö ØÓÖ Ò ÓÒÐÝ Ø ÓÒ ÐÓ Ø ÓÒ Ó ×Ó ØÛ Ö ÔÖÓ Øº ÓÖ Ü ÑÔÐ ¸ Ö ØÓÖ Ò × Ñ Ý Ú Ø�...

Carsten Görg, Peter Weißgerber

claim paper

Read More »

158

click to vote

MSR
2005
ACM

88views Software Engineering» more MSR 2005»

Understanding source code evolution using abstract syntax tree matching

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers