Sciweavers

16725 search results - page 280 / 3345

» Engineering Software Correctness

86

Voted

ICST
2010
IEEE

97views Software Engineering» more ICST 2010»

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code

15 years 2 months ago

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code

Download www.upcrc.illinois.edu

Milos Gligoric, Vilas Jagannath, Darko Marinov

claim paper

Read More »

93

Voted

ICST
2010
IEEE

117views Software Engineering» more ICST 2010»

Simulated Satisfaction of Coverage Criteria on UML State Machines

15 years 2 months ago

Simulated Satisfaction of Coverage Criteria on UML State Machines

Download metrik.informatik.hu-berlin.de

Stephan Weißleder

claim paper

Read More »

129

Voted

SOCO
2008
Springer

95views Software Engineering» more SOCO 2008»

Practical Conflict Resolution for the Composition of Program Transformations

15 years 2 months ago

Practical Conflict Resolution for the Composition of Program Transformations

Download www.iks.inf.ethz.ch

Andreas I. Schmied, Franz J. Hauck

claim paper

Read More »

99

Voted

IWPC
2010
IEEE

119views Software Engineering» more IWPC 2010»

Patrools: Visualizing the Polymorphic Usage of Class Hierarchies

15 years 2 months ago

Patrools: Visualizing the Polymorphic Usage of Class Hierarchies

Download icpc2010.di.uminho.pt

Petru Florin Mihancea

claim paper

Read More »

114

IWPC
2010
IEEE

154views Software Engineering» more IWPC 2010»

Natural Language Parsing of Program Element Names for Concept Extraction

15 years 2 months ago

Natural Language Parsing of Program Element Names for Concept Extraction

Download icpc2010.di.uminho.pt

Surafel Lemma Abebe, Paolo Tonella

claim paper

Read More »

« Prev « First page 280 / 3345 Last » Next »