Add to ORKGThesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.Includes bibliographical references (p. 149-150).Derek L. Bruening.M.Eng
AbstractConcurrency in multithreaded programs introduces additional complexity in software verificat...
Previous approaches to systematic state-space exploration for test-ing multi-threaded programs have ...
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concu...
The advent of multicore processors has necessitated the use of parallelism to extract greater softwa...
Distributed Multithreaded (DM) programs are becoming more popular along with the development of netw...
Mainstream programming is migrating to concurrent archi-tectures to improve performance and facilita...
Multi-threaded programming creates the fundamental problem that the execution of a program is no lon...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
With the development of multi-core processors, concurrent programs are becoming more and more popula...
AbstractThe difficulty of finding errors caused by unexpected interleavings of threads in concurrent...
A problem that has been getting prominence in testing is that of looking for intermittent bugs. Mult...
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
More than 75% of recent Java projects include some form of concurrent programming. Due to complex in...
With the increasing dependency on software systems, we require them to be reliable and correct. Sof...
AbstractThis paper proposes a novel suite of benchmarks for the evaluation of the structural testing...
AbstractConcurrency in multithreaded programs introduces additional complexity in software verificat...
Previous approaches to systematic state-space exploration for test-ing multi-threaded programs have ...
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concu...
The advent of multicore processors has necessitated the use of parallelism to extract greater softwa...
Distributed Multithreaded (DM) programs are becoming more popular along with the development of netw...
Mainstream programming is migrating to concurrent archi-tectures to improve performance and facilita...
Multi-threaded programming creates the fundamental problem that the execution of a program is no lon...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
With the development of multi-core processors, concurrent programs are becoming more and more popula...
AbstractThe difficulty of finding errors caused by unexpected interleavings of threads in concurrent...
A problem that has been getting prominence in testing is that of looking for intermittent bugs. Mult...
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
More than 75% of recent Java projects include some form of concurrent programming. Due to complex in...
With the increasing dependency on software systems, we require them to be reliable and correct. Sof...
AbstractThis paper proposes a novel suite of benchmarks for the evaluation of the structural testing...
AbstractConcurrency in multithreaded programs introduces additional complexity in software verificat...
Previous approaches to systematic state-space exploration for test-ing multi-threaded programs have ...
Multithreaded concurrent programs often exhibit bugs due to unintended interferences among the concu...