Метод проверки линеаризуемости многопоточных Java программ

В статье описывается новый метод Sapsan. Он предназначен для функционального тестирования Java программ, предоставляющих программный интерфейс (API), процедуры (операции) которого можно вызывать из нескольких потоков одновременно. Метод Sapsan позволяет проверять одно из распространенных требований...

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Author:	В.С. Мутилин
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2009-01-01
Online Access:	https://www.ispras.ru/en/proceedings/isp_16_2009/isp_16_2009_89/