Sciweavers

64 search results - page 1 / 13

» kbse 2008

9

KBSE
2008
IEEE

133views Software Engineering» more KBSE 2008»

Reflections on, and Predictions for, Support Systems for the Development of Programs

13 years 10 months ago

Reflections on, and Predictions for, Support Systems for the Development of Programs

Download www.di.univaq.it

Cliff B. Jones

claim paper

Read More »

9

KBSE
2008
IEEE

89views Software Engineering» more KBSE 2008»

Heuristics for Scalable Dynamic Test Generation

13 years 10 months ago

Heuristics for Scalable Dynamic Test Generation

Download www.eecs.berkeley.edu

Jacob Burnim, Koushik Sen

claim paper

Read More »

8

KBSE
2008
IEEE

81views Software Engineering» more KBSE 2008»

Error Reporting Logic

13 years 10 months ago

Error Reporting Logic

Download www.cs.cmu.edu

Ciera Jaspan, Trisha Quan, Jonathan Aldrich

claim paper

Read More »

12

KBSE
2008
IEEE

99views Software Engineering» more KBSE 2008»

Model-Driven Development of Mobile Applications

13 years 10 months ago

Model-Driven Development of Mobile Applications

Download www.medien.ifi.lmu.de

Florence T. Balagtas-Fernandez, Heinrich Hussmann

claim paper

Read More »

10

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

13 years 10 months ago

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

« Prev « First page 1 / 13 Last » Next »