Finding Faults in Multi-Threaded Programs Export

@techreport{citeulike:6053686, abstract = {Multi-threaded programming creates the fundamental problem that the execution of a program is no longer deterministic, because the thread schedule is not controlled by the application. This causes traditional testing methods to be rather ineffective. Trilogy, producing many multi-threaded server programs, also has to deal with the limitations of regression testing. New approaches to this problem -- static and extended dynamic checking -- promise to ameliorate the situation. Many tools are in development that try to find faults in multithreaded programs in new ways.}, author = {Artho, Cyrille}, citeulike-article-id = {6053686}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.2230}, journal = {Master's thesis}, keywords = {concurrency, java, programming-language-design, static-analysis}, posted-at = {2009-11-01 17:01:58}, priority = {2}, title = {Finding Faults in Multi-Threaded Programs}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.2230}, year = {2001} }

TY - RPRT ID - citeulike:6053686 L3 - citeulike-article-id:6053686 N2 - Multi-threaded programming creates the fundamental problem that the execution of a program is no longer deterministic, because the thread schedule is not controlled by the application. This causes traditional testing methods to be rather ineffective. Trilogy, producing many multi-threaded server programs, also has to deal with the limitations of regression testing. New approaches to this problem -- static and extended dynamic checking -- promise to ameliorate the situation. Many tools are in development that try to find faults in multithreaded programs in new ways. JF - Master’s thesis TI - Finding Faults in Multi-Threaded Programs KW - concurrency KW - java KW - programming-language-design KW - static-analysis AU - Artho, Cyrille PY - 2001/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.2230 ER -