User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 22:44, 22 July 2016 (diff | hist) . . (+353) . . Java Team3 Benchmark1 (→Clarification Requests) (current)
- 22:31, 22 July 2016 (diff | hist) . . (+1) . . Java Team3 Benchmark1 (→The Trace Part)
- 22:31, 22 July 2016 (diff | hist) . . (-1) . . Java Team3 Benchmark2 (→The Trace Part) (current)
- 17:01, 21 July 2016 (diff | hist) . . (+142) . . Java Team2 Benchmark3 (→Clarification Requests)
- 13:22, 6 July 2016 (diff | hist) . . (+486) . . Java Team4 Benchmark3 (→Clarification Requests)
- 13:21, 6 July 2016 (diff | hist) . . (+486) . . Java Team4 Benchmark2 (→Clarification Requests)
- 13:21, 6 July 2016 (diff | hist) . . (+487) . . Java Team4 Benchmark1 (→Clarification Requests)
- 13:15, 6 July 2016 (diff | hist) . . (+101) . . Java Team2 Benchmark2 (→Clarification Requests)
- 11:45, 6 July 2016 (diff | hist) . . (+245) . . Java Team2 Benchmark1 (→Clarification Requests)
- 11:39, 6 July 2016 (diff | hist) . . (+251) . . Java Team2 Benchmark3 (→Clarification Requests)
- 11:38, 6 July 2016 (diff | hist) . . (+252) . . Java Team2 Benchmark1 (→Clarification Requests)
- 16:39, 14 June 2016 (diff | hist) . . (+173) . . Offline track (→Team 1 (BeepBeep3)) (current)
- 16:38, 14 June 2016 (diff | hist) . . (+194) . . Offline BeepBeep 3 Benchmark2 (→The Property Part) (current)
- 16:37, 14 June 2016 (diff | hist) . . (+194) . . Offline BeepBeep 3 Benchmark3 (→The Property Part) (current)
- 16:37, 14 June 2016 (diff | hist) . . (-5,237) . . Offline BeepBeep 3 Benchmark1 (current)
- 16:36, 14 June 2016 (diff | hist) . . (+3,160) . . N Offline BeepBeep 3 Benchmark3 (Created page with "'''Pingus''' See Benchmark 1 for overview ''List of categories'' == Benchmark Data == === The Trace Part === See Benchmark 1 === The Property Part === Turn around =====...")
- 16:35, 14 June 2016 (diff | hist) . . (+2,071) . . N Offline BeepBeep 3 Benchmark2 (Created page with "'''Pingus''' See Benchmark 1 for overview ''List of categories'' == Benchmark Data == === The Trace Part === See Benchmark 1 === The Property Part === Endless bashing =...")
- 16:32, 14 June 2016 (diff | hist) . . (+1,705) . . Offline Team3 Benchmark1 (→Clarification Requests) (current)
- 14:52, 13 June 2016 (diff | hist) . . (+700) . . Java Team3 Benchmark1 (→The Trace Part)
- 14:50, 13 June 2016 (diff | hist) . . (+697) . . Java Team3 Benchmark2 (→The Trace Part)
- 14:34, 13 June 2016 (diff | hist) . . (+874) . . Java Team3 Benchmark3 (→The Trace Part) (current)
- 13:54, 13 June 2016 (diff | hist) . . (+1) . . Java Team3 Benchmark3 (→Demonstration Traces)
- 13:53, 13 June 2016 (diff | hist) . . (-3) . . Java Team3 Benchmark3 (→Demonstration Traces)
- 12:04, 9 June 2016 (diff | hist) . . (+61) . . Java Team3 Benchmark2 (→Formal Specification)
- 16:04, 7 June 2016 (diff | hist) . . (+478) . . Offline Team2 Benchmark3 (→The Trace Part) (current)
- 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)
- 16:12, 2 June 2016 (diff | hist) . . (0) . . Java Team3 Benchmark1 (→A FO-LTL Specification)
- 16:12, 2 June 2016 (diff | hist) . . (+13) . . Java Team3 Benchmark1 (→A FO-LTL Specification)
- 16:12, 2 June 2016 (diff | hist) . . (+4,445) . . N Java Team3 Benchmark1 (Created page with "'''PublisherSubscriber'''. The setting is that of publisher and subscriber nodes where publisher nodes broadcast messages and subscriber nodes acknowledge received messages. T...")
- 15:41, 2 June 2016 (diff | hist) . . (+138) . . Java track (→Team 3 (MarQ))
- 15:37, 2 June 2016 (diff | hist) . . (+797) . . Java track (→Team 3 (MarQ))
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
