IEEE Transactions on Software Engineering - Document - PDFSEARCH.IO

First Page		Document Content
Academic publishing Bibliometrics IEEE Transactions on Software Engineering Institute of Electrical and Electronics Engineers Software engineering Impact factor Citation index Citation IEEE Software Publishing Academia Knowledge		Add to Reading List Source URL: gridbus.org Download Document from Source Website Share Document on Facebook

	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce DocID: 1xVM2 - View Document
	Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab DocID: 1xUvJ - View Document
	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus DocID: 1xUrQ - View Document
	Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol DocID: 1xTeg - View Document
	2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs George B. Sherwood Testcover.com, LLC DocID: 1vl2i - View Document