Victor Ivannikov Serguei Gaissaryan Arutyun Avetisyan Vartan Padaryan Using Symbolic Execution of Parallel Program to Estimate Its Scalability. 1741-1744 2003 conf/pdpta/2003-4 PDPTA db/conf/pdpta/pdpta2003-4.html#IvannikovGAP03