在这里http://www.ntu.edu.sg/home/assourav/crank.htm将TACAS归结为在软件工程领域第二流的国际会议,而在中国计算机学会给出的参考意见中,将TACAS归结为第三流的国际会议。 但是本人看到这个会议在Constraint Solver方面的文章经常被大家引用,所以很是奇怪。目前暂缺把它归为第二类,至少和ISSTA是一个档次的会议。