Search Sciweavers | Sciweavers

15777 search results - page 331 / 3156

» The Reformulation-Optimization Software Engine

click to vote

APL
1990
ACM

43views Software Engineering» more APL 1990»

ACORN: APL to C on Real Numbers

15 years 7 months ago

Download www.snakeisland.com

Robert Bernecky, Charles Brenner, Stephen B. Jaffe...

claim paper

Read More »

191

Voted

AMOST
2007
ACM

269views Software Engineering» more AMOST 2007»

Test purpose generation in an industrial application

15 years 7 months ago

Download www.ist.tugraz.at

Bernhard K. Aichernig, Martin Weiglhofer, Bernhard...

claim paper

Read More »

135

Voted

AMOST
2007
ACM

241views Software Engineering» more AMOST 2007»

Model-based regression test suite generation using dependence analysis

15 years 7 months ago

Download www.site.uottawa.ca

Yanping Chen, Robert L. Probert, Hasan Ural

claim paper

Read More »

126

Voted

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 7 months ago

Download www.ist.tugraz.at

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordo...

claim paper

Read More »

Voted

AOSD
2007
ACM

92views Software Engineering» more AOSD 2007»

A graph-based approach to modeling and detecting composition conflicts related to introductions

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers