Search Sciweavers | Sciweavers

12

ISSTA
2006
ACM

98views Software Engineering» more ISSTA 2006»

An empirical study of the robustness of MacOS applications using random testing

13 years 11 months ago

We report on the fourth in a series of studies on the reliability of application programs in the face of random input. Over the previous 15 years, we have studied the reliability ...

Barton P. Miller, Gregory Cooksey, Fredrick Moore

claim paper

Read More »

13

click to vote

ISSTA
2006
ACM

98views Software Engineering» more ISSTA 2006»

The case for analysis preserving language transformation

13 years 11 months ago

Download gmarceau.qc.ca

Static analysis has gained much attention over the past few years in applications such as bug ﬁnding and program veriﬁcation. As software becomes more complex and componentize...

Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Web...

claim paper

Read More »

14

click to vote

ISSTA
2006
ACM

116views Software Engineering» more ISSTA 2006»

Towards supporting the architecture design process through evaluation of design alternatives

13 years 11 months ago

Download www.ics.uci.edu

This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...

Lihua Xu, Scott A. Hendrickson, Eric Hettwer, Hada...

claim paper

Read More »

10

click to vote

ISSTA
2006
ACM

135views Software Engineering» more ISSTA 2006»

Architecture-based testing using goals and plans

13 years 11 months ago

Download www.ics.uci.edu

This paper presents a speciﬁcation-based testing approach that compares software speciﬁcations deﬁned at diﬀerent f abstraction, e.g. architecture and implementation, agai...

Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, ...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers