2302 search results - page 13 / 461 » Testing as Abstraction |
102
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
![Finding community structure in mega-scale social networks: [extended abstract]](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "Finding community structure in mega-scale social networks: [extended abstract]")
[Extended Abstract] Ken Wakita Tokyo Institute of Technology 2-12-1 Ookayama, Meguro-ku Tokyo 152-8552, Japan wakita@is.titech.ac.jp Toshiyuki Tsurumi Tokyo Institute of Technolog...
115
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
110
click to vote
PTS
1998
15 years 3 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
105
click to vote
TAICPART
2010
IEEE
15 years 8 days ago
2010
IEEE
Abstract. Unit testing in the presence of side eects requires the construction of a suitable test xture before each test run. We consider the problem of providing test xtures fo...
133
click to vote
FATES
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...