Sciweavers

15811 search results - page 12 / 3163

» Search-based software engineering

99

IUI
2012
ACM

284views Software Engineering» more IUI 2012»

Interactive uncertainty analysis

13 years 10 months ago

Interactive uncertainty analysis

Download www.isi.edu

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

claim paper

Read More »

92

PEPM
2012
ACM

241views Software Engineering» more PEPM 2012»

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

13 years 10 months 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 »

90

ICSE
2005
IEEE-ACM

126views Software Engineering» more ICSE 2005»

Engineering safety-related requirements for software-intensive systems

16 years 2 months ago

Engineering safety-related requirements for software-intensive systems

Download www.sei.cmu.edu

Donald Firesmith

claim paper

Read More »

102

ICSE
2005
IEEE-ACM

130views Software Engineering» more ICSE 2005»

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

16 years 2 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 »

116

SIGSOFT
2007
ACM

114views Software Engineering» more SIGSOFT 2007»

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

16 years 3 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 »