Search Sciweavers | Sciweavers

3667 search results - page 27 / 734

» Software Rejuvenation - Modeling and Analysis

132

click to vote

AMOST
2007
ACM

241views Software Engineering» more AMOST 2007»

Model-based regression test suite generation using dependence analysis

15 years 7 months ago

Download www.site.uottawa.ca

Yanping Chen, Robert L. Probert, Hasan Ural

claim paper

Read More »

click to vote

ICSE
1995
IEEE-ACM

104views Software Engineering» more ICSE 1995»

Completeness and Consistency Analysis of State-Based Requirements

15 years 7 months ago

Download wwwbruegge.in.tum.de

Mats Per Erik Heimdahl, Nancy G. Leveson

claim paper

Read More »

108

Voted

PEPM
1995
ACM

98views Software Engineering» more PEPM 1995»

Semantic Foundations of Binding Time Analysis for Imperative Programs

15 years 6 months ago

Download www.cs.wisc.edu

Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck

claim paper

Read More »

click to vote

APSEC
2006
IEEE

92views Software Engineering» more APSEC 2006»

Safety Analysis for Dynamic Update of Object Oriented Programs

15 years 5 months ago

Download www.cse.iitb.ac.in

Yogesh Murarka, Umesh Bellur, Rushikesh K. Joshi

claim paper

Read More »

105

click to vote

COMPSAC
2007
IEEE

105views Software Engineering» more COMPSAC 2007»

A Method of Requirement Inconsistency Analysis

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers