Sciweavers

2520 search results - page 67 / 504

» Model-checking behavioral programs

134

PLDI
1991
ACM

83views Programming Languages» more PLDI 1991»

Predicting Program Behavior Using Real or Estimated Profiles

15 years 9 months ago

Predicting Program Behavior Using Real or Estimated Profiles

Download www.hpl.hp.com

David W. Wall

claim paper

Read More »

140

TOOLS
1999
IEEE

68views Programming Languages» more TOOLS 1999»

Reasoning about Inheritance and Cloning Behaviors of Software Agents

15 years 10 months ago

Reasoning about Inheritance and Cloning Behaviors of Software Agents

Download cs.ndsu.edu

Xiaocong Fan, Dianxiang Xu, Guoliang Zheng

claim paper

Read More »

123

TOOLS
1998
IEEE

73views Programming Languages» more TOOLS 1998»

Modeling Complex Behavior Simply or How Much is Too Much?

15 years 10 months ago

Modeling Complex Behavior Simply or How Much is Too Much?

Download www.uml.org.cn

Stephen J. Mellor

claim paper

Read More »

138

TOOLS
1992
IEEE

157views Programming Languages» more TOOLS 1992»

Object Behavior Analysis

15 years 10 months ago

Object Behavior Analysis

Download userweb.cs.utexas.edu

Kenneth S. Rubin

claim paper

Read More »

191

KBSE
2005
IEEE

201views Software Engineering» more KBSE 2005»

Automated test generation for engineering applications

15 years 11 months ago

Automated test generation for engineering applications

Download research.nianet.org

In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...

Songtao Xia, Ben Di Vito, César Muño...

claim paper

Read More »

« Prev « First page 67 / 504 Last » Next »