Sciweavers

714 search results - page 20 / 143

» Verification and Compliance Testing

16

ICNP
1995
IEEE

74views Computer Networks» more ICNP 1995»

Verification and diagnosis of testing equivalence and reduction relation

13 years 11 months ago

Verification and diagnosis of testing equivalence and reduction relation

Download www.ieee-icnp.org

Zhongping Tao, Gregor von Bochmann, Rachida Dssoul...

claim paper

Read More »

22

BIRTHDAY
2010
Springer

146views Applied Computing» more BIRTHDAY 2010»

Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules

13 years 8 months ago

Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules

Download www.informatik.uni-bremen.de

Jan Peleska

claim paper

Read More »

8

IBMSJ
2002

44views more IBMSJ 2002»

Software debugging, testing, and verification

13 years 7 months ago

Software debugging, testing, and verification

Download www.cs.purdue.edu

Brent Hailpern, Padmanabhan Santhanam

claim paper

Read More »

26

TC
2010

97views Information Technology» more TC 2010»

Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test

13 years 5 months ago

Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test

Download www.eecg.toronto.edu

Hratch Mangassarian, Andreas G. Veneris, Marco Ben...

claim paper

Read More »

25

ICRA
2007
IEEE

171views Robotics» more ICRA 2007»

Design and Philosophy of the BiMASC, a Highly Dynamic Biped

14 years 1 months ago

Design and Philosophy of the BiMASC, a Highly Dynamic Biped

Download www.ri.cmu.edu

Abstract— This paper discusses the design principles and philosophy of the BiMASC, a biped with Mechanically Adjustable Series Compliance which incorporates tuned mechanical leg ...

Jonathan W. Hurst, Joel E. Chestnutt, Alfred A. Ri...

claim paper

Read More »

« Prev « First page 20 / 143 Last » Next »