IPSJ SIG Notes Information Processing Society of Japan (IPSJ) 2010-SE-169(2) (20100715)

An Implementation of Configuration Change Support Tool Using Alloy and Application Test Full Text: External

1-8