IEEE Transactions on Software Engineering - PDFSEARCH.IO - Document Search Engine

IEEE Transactions on Software Engineering
Results: 130

#	Item
1	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:27:55 Theoretical computer science Information retrieval Information science Model checkers Hashing Model checking Ith SPIN model checker Bitstate hashing Cryptographic hash function Correctness Applied mathematics
2	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-08-28 05:24:01
3	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. X, NO. X, MONTHA Multi-Site Joint Replication of a Design Patterns Experiment using Moderator Variables Add to Reading List Source URL: www.inf.fu-berlin.de Language: English - Date: 2017-02-28 09:38:32
4	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 Add to Reading List Source URL: 2004.msrconf.org Language: English - Date: 2005-08-17 16:08:29
5	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 An Efficient Algorithm for Aggregating PEPA Models Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2001-04-20 07:05:29
6	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 22, NO. 6, JUNECompleteness and Consistency in Hierarchical State-Based Requirements Add to Reading List Source URL: sunnyday.mit.edu Language: English - Date: 2015-12-11 12:32:33
7	782 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 29, Add to Reading List Source URL: www.inf.usi.ch Language: English - Date: 2006-12-10 13:09:10
8	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 42, NO. 3, MARCH 2016 Add to Reading List Source URL: parasol.tamu.edu Language: English - Date: 2016-08-02 09:58:49
9	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 4, Add to Reading List Source URL: www.cs.williams.edu Language: English - Date: 2018-08-12 09:37:48
10	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, TBD 1 The Risks of Coverage-Directed Test Case Generation Add to Reading List Source URL: www.greggay.com Language: English - Date: 2015-05-13 09:38:25

UPDATE