Journals and Conferences that author prefers

Journals

1. CoRR (2 paper(s))
2. Computer Communications (1 paper(s))
3. Softw. Test., Verif. Reliab. (1 paper(s))
4. IEEE Trans. Computers (1 paper(s))
5. Theor. Comput. Sci. (1 paper(s))
6. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. International Conference on Testing Communicating Systems (TestCom) (12 paper(s))
2. Formal Techniques for Networked and Distributed Systems / (7 paper(s))
3. (5 paper(s))
4. Design, Automation, and Test in Europe (2 paper(s))
5. Euromicro Symposium on Digital Systems Design (1 paper(s))
6. International Workshop on Formal Approaches to Testing of Software (1 paper(s))
7. ACM Great Lakes Symposium on VLSI (1 paper(s))
8. International Conference on Computer Aided Design (ICCAD) (1 paper(s))
9. International Workshop on Logic & Synthesis (1 paper(s))
10. Protocol Specification, Testing and Verification (1 paper(s))
11. SDL Forum (1 paper(s))
12. Conference on Software Engineering and Formal Methods (SEFM) (1 paper(s))