User contributions
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)
- 15:56, 7 June 2016 (diff | hist) . . (+638) . . Offline Team2 Benchmark2 (→The Trace Part) (current)
- 15:57, 4 June 2016 (diff | hist) . . (+5,645) . . Offline Team3 Benchmark1
- 15:57, 4 June 2016 (diff | hist) . . (+65) . . Offline track (→Team 3 (CRL))
- 09:08, 4 June 2016 (diff | hist) . . (+3,114) . . N Offline Team2 Benchmark3 (Created page with "'''SQL Injection'''. An abstract property capturing the requirement that SQL query strings passed to a server, and any derived stings, should be sanitised before use. == Benc...")
- 09:00, 4 June 2016 (diff | hist) . . (+2,351) . . N Offline Team2 Benchmark2 (Created page with "'''Candidate Selection'''. This property is about voters ranking candidates for a party. Primarily it demonstrates the use of existential quantification in the QEA formalism....")
- 21:11, 3 June 2016 (diff | hist) . . (0) . . Offline track (→Team 2 (MarQ))
- 21:11, 3 June 2016 (diff | hist) . . (+4,270) . . N Offline Team2 Benchmark1 (Created page with "'''AuctionBidding'''. This property is about bids on items on an online auction site. == Benchmark Data == === The Trace Part === There are 4 traces in marq/offline/bench1...") (current)
- 21:11, 3 June 2016 (diff | hist) . . (-4,270) . . Offline Team3 Benchmark1 (Blanked the page)
- 21:10, 3 June 2016 (diff | hist) . . (+4,270) . . N Offline Team3 Benchmark1 (Created page with "'''AuctionBidding'''. This property is about bids on items on an online auction site. == Benchmark Data == === The Trace Part === There are 4 traces in marq/offline/bench1...")
- 21:05, 3 June 2016 (diff | hist) . . (-45) . . Java Team3 Benchmark2 (→The Property Part)
- 21:05, 3 June 2016 (diff | hist) . . (-46) . . Java Team3 Benchmark3 (→The Property Part)
- 20:57, 3 June 2016 (diff | hist) . . (+944) . . Offline track (→Team 2 (MarQ))
- 20:45, 3 June 2016 (diff | hist) . . (+20) . . Offline track
- 20:42, 3 June 2016 (diff | hist) . . (+3,910) . . N Java Team3 Benchmark3 (Created page with "'''ResourceLifecycle'''. This property is about an abstracted resource management system and captures the required lifecycle of a resource object. == Benchmark Data == === T...")
- 22:12, 2 June 2016 (diff | hist) . . (+646) . . Java Team3 Benchmark2 (→A FO-LTL Specification)
- 21:57, 2 June 2016 (diff | hist) . . (+1,063) . . Java Team3 Benchmark2 (→Formal Specification)
- 21:43, 2 June 2016 (diff | hist) . . (+581) . . Java Team3 Benchmark2
- 16:32, 2 June 2016 (diff | hist) . . (+2,449) . . N Java Team3 Benchmark2 (Created page with "'''AnnoyingFriend'''. The setting is that of people sending messages to each other on social networks Category: Social Networks == Benchmark Data == === The Trace Part ===...")
- 16:14, 2 June 2016 (diff | hist) . . (+40) . . Java Team3 Benchmark1 (→A FO-LTL Specification)
- 16:12, 2 June 2016 (diff | hist) . . (+1) . . Java Team3 Benchmark1 (→A FO-LTL Specification)
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)