Search Sciweavers | Sciweavers

4299 search results - page 4 / 860

» Concurrent Test Generation

click to vote

KBSE
2007
IEEE

146views Software Engineering» more KBSE 2007»

Testing concurrent programs using value schedules

14 years 1 months ago

Download plg.uwaterloo.ca

Concurrent programs are diﬃcult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...

Jun Chen, Steve MacDonald

claim paper

Read More »

click to vote

ENTCS
2002

88views more ENTCS 2002»

Testing Concurrent Java Programs using Randomized Scheduling

13 years 7 months ago

Download www.cs.sunysb.edu

The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...

Scott D. Stoller

claim paper

Read More »

click to vote

JSW
2007

156views more JSW 2007»

An Automatic Test Case Generation Framework for Web Services

13 years 7 months ago

Download www.academypublisher.com

— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...

Yongyan Zheng, Jiong Zhou, Paul Krause

claim paper

Read More »

click to vote

CONCURRENCY
2006

50views more CONCURRENCY 2006»

GAUGE: Grid Automation and Generative Environment

13 years 7 months ago

Download www.cs.ua.edu

Francisco Hernández, Purushotham Bangalore,...

claim paper

Read More »