Search Sciweavers | Sciweavers

15824 search results - page 358 / 3165

» Specialising in Software Engineering

click to vote

APL
1990
ACM

43views Software Engineering» more APL 1990»

ACORN: APL to C on Real Numbers

15 years 11 months ago

Download www.snakeisland.com

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

claim paper

Read More »

258

click to vote

AMOST
2007
ACM

269views Software Engineering» more AMOST 2007»

Test purpose generation in an industrial application

15 years 11 months ago

Download www.ist.tugraz.at

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

claim paper

Read More »

211

click to vote

AMOST
2007
ACM

241views Software Engineering» more AMOST 2007»

Model-based regression test suite generation using dependence analysis

15 years 11 months ago

Download www.site.uottawa.ca

Yanping Chen, Robert L. Probert, Hasan Ural

claim paper

Read More »

187

Voted

AMOST
2007
ACM

240views Software Engineering» more AMOST 2007»

Relating counterexamples to test cases in CTL model checking specifications

15 years 11 months ago

Download www.ist.tugraz.at

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

claim paper

Read More »

133

click to vote

AOSD
2007
ACM

92views Software Engineering» more AOSD 2007»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers