Back to article IJET Concurrency testing using symbolic path finder Download Download PDF