Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07
Latest Publications

TOTAL DOCUMENTS

102
(FIVE YEARS 0)

H-INDEX

28
(FIVE YEARS 0)

Published By ACM Press

9781595938824
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Feature interaction analysis

2007 ◽  
Author(s):  
Maryam Shiri Shiri ◽  
Jameleddine Hassine Hassine ◽  
Juergen Rilling
Keyword(s):  
Interaction Analysis ◽  
Feature Interaction

Extracting rights and obligations from regulations

2007 ◽  
Author(s):  
Nadzeya Kiyavitskaya ◽  
Nicola Zeni ◽  
Travis D. Breaux ◽  
Annie I. Antón ◽  
James R. Cordy ◽  
...  

Reducing irrelevant trace variations

2007 ◽  
Author(s):  
Madeline Diep ◽  
Sebastian Elbaum ◽  
Matthew Dwyer

Mining concepts from code with probabilistic topic models

2007 ◽  
Author(s):  
Erik Linstead ◽  
Paul Rigor ◽  
Sushil Bajracharya ◽  
Cristina Lopes ◽  
Pierre Baldi
Keyword(s):  
Topic Models ◽  
Probabilistic Topic Models

scholarly journals Model checking concurrent linux device drivers

2007 ◽  
Author(s):  
Thomas Witkowski ◽  
Nicolas Blanc ◽  
Daniel Kroening ◽  
Georg Weissenbacher
Keyword(s):  
Model Checking ◽  
Device Drivers
Load More ...
Sign in / Sign up

Export Citation Format

Share Document