IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

Source URL: rjoshi.org

• Theoretical computer science
• Information retrieval
• Information science
• Model checkers
• Hashing
• Model checking
• Ith
• SPIN model checker
• Bitstate hashing
• Cryptographic hash function
• Correctness
• Applied mathematics

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus

Source URL: qav.comlab.ox.ac.uk

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. X, NO. X, MONTHA Multi-Site Joint Replication of a Design Patterns Experiment using Moderator Variables

Source URL: www.inf.fu-berlin.de

Call for Papers IEEE Transactions on Software Engineering Special Issue on Mining Software Repositories IEEE Transactions on Software Engineering is seeking original manuscripts for a Special Issue on Mining Software Rep

Source URL: 2004.msrconf.org

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 An Efficient Algorithm for Aggregating PEPA Models

Source URL: www.dcs.ed.ac.uk

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 22, NO. 6, JUNECompleteness and Consistency in Hierarchical State-Based Requirements

Source URL: sunnyday.mit.edu

782 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 29,

Source URL: www.inf.usi.ch

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 42, NO. 3, MARCH 2016

Source URL: parasol.tamu.edu

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 4,

Source URL: www.cs.williams.edu

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, TBD 1 The Risks of Coverage-Directed Test Case Generation

Source URL: www.greggay.com