Search Sciweavers | Sciweavers

297 search results - page 9 / 60

» Multi-paradigmatic Model-Based Testing

click to vote

VLSID
2007
IEEE

154views VLSI» more VLSID 2007»

Model Based Test Generation for Microprocessor Architecture Validation

14 years 8 months ago

Download www.arctic.umn.edu

Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...

Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Di...

claim paper

Read More »

click to vote

KBSE
2002
IEEE

160views Software Engineering» more KBSE 2002»

Model-Based Tests of Truisms

14 years 19 days ago

Download menzies.us

Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in speciﬁ...

Tim Menzies, David Raffo, Siri-on Setamanit, Ying ...

claim paper

Read More »

click to vote

SEW
2003
IEEE

106views Software Engineering» more SEW 2003»

Model-Based Software Testing via Incremental Treatment Learning

14 years 1 months ago

Download menzies.us

Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...

Dustin Geletko, Tim Menzies

claim paper

Read More »

click to vote

ATAL
2009
Springer

112views Intelligent Agents» more ATAL 2009»

Model based testing for agent systems

14 years 2 months ago

Download www.aamas-conference.org

Zhiyong Zhang, John Thangarajah, Lin Padgham

claim paper

Read More »