Sciweavers

59 search results - page 1 / 12

» tap 2007

17

TAP
2007
Springer

69views Hardware» more TAP 2007»

White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing

14 years 1 months ago

White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing

Download i12www.ira.uka.de

Bernhard Beckert, Christoph Gladisch

claim paper

Read More »

14

TAP
2007
Springer

80views Hardware» more TAP 2007»

Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing

14 years 1 months ago

Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

15

TAP
2007
Springer

64views Hardware» more TAP 2007»

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

14 years 1 months ago

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

Download se.ethz.ch

Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller

claim paper

Read More »

21

MASCOTS
2001

102views Modeling And Simulation» more MASCOTS 2001»

A Stream Tapping Protocol with Partial Preloading

13 years 8 months ago

A Stream Tapping Protocol with Partial Preloading

Download www2.cs.uh.edu

Jehan-François Pâris

claim paper

Read More »

21

AEI
2006

68views more AEI 2006»

Temporal co-creation between self and others with multi-sensory inputs

13 years 7 months ago

Temporal co-creation between self and others with multi-sensory inputs

Download www.race.u-tokyo.ac.jp

This study uses cognitive psychological experiments to elucidate human temporal co-creation with environments or other people. Time series analyses of alternate tapping with const...

Takeshi Takenaka, Taiki Ogata, Kanji Ueda

claim paper

Read More »

« Prev « First page 1 / 12 Last » Next »