Sciweavers

15811 search results - page 12 / 3163

» Search-based software engineering

114

Voted

IUI
2012
ACM

284views Software Engineering» more IUI 2012»

Interactive uncertainty analysis

14 years 3 days ago

Interactive uncertainty analysis

Download www.isi.edu

Pedro A. Szekely, Yu-Han Chang, Rajiv T. Maheswara...

claim paper

Read More »

109

PEPM
2012
ACM

241views Software Engineering» more PEPM 2012»

Well-typed narrowing with extra variables in functional-logic programming

14 years 3 days ago

Well-typed narrowing with extra variables in functional-logic programming

Download federwin.sip.ucm.es

Francisco Javier López-Fraguas, Enrique Mar...

claim paper

Read More »

105

ICSE
2005
IEEE-ACM

126views Software Engineering» more ICSE 2005»

Engineering safety-related requirements for software-intensive systems

16 years 4 months ago

Engineering safety-related requirements for software-intensive systems

Download www.sei.cmu.edu

Donald Firesmith

claim paper

Read More »

124

ICSE
2005
IEEE-ACM

130views Software Engineering» more ICSE 2005»

Sound methods and effective tools for model-based security engineering with UML

16 years 4 months ago

Sound methods and effective tools for model-based security engineering with UML

Download www4.in.tum.de

Jan Jürjens

claim paper

Read More »

138

SIGSOFT
2007
ACM

114views Software Engineering» more SIGSOFT 2007»

The impact of input domain reduction on search-based test data generation

16 years 5 months ago

The impact of input domain reduction on search-based test data generation

Download www.dcs.kcl.ac.uk

There has recently been a great deal of interest in search? based test data generation, with many local and global search algorithms being proposed. However, to date, there has be...

Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil...

claim paper

Read More »

« Prev « First page 12 / 3163 Last » Next »