User contributions
(newest | oldest) View (newer 50 | older 50) (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)
- 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))
- 14:16, 25 May 2016 (diff | hist) . . (+22) . . Java track
- 19:34, 20 May 2016 (diff | hist) . . (+955) . . N Benchmark Template - C implicit track (Created page with "'''Name of benchmark''' Two or three sentences that describe the benchmark. These can mention the domain, scope or source or the benchmark. Or might suggest the purpose of the...") (current)
- 19:32, 20 May 2016 (diff | hist) . . (-15) . . C implicit track
- 19:32, 20 May 2016 (diff | hist) . . (+1,138) . . N C implicit track (Created page with "The C implicit track is concerned with the monitoring of implicit properties of C programs. This is the first time we are running this track and want to be somewhat guided by...")
- 18:25, 20 May 2016 (diff | hist) . . (+19) . . Offline track
- 18:23, 20 May 2016 (diff | hist) . . (+953) . . N Benchmark Template - C generic track (Created page with "'''Name of benchmark''' Two or three sentences that describe the benchmark. These can mention the domain, scope or source or the benchmark. Or might suggest the purpose of the...") (current)
- 18:23, 20 May 2016 (diff | hist) . . (-19) . . Benchmark Template - Java track (current)
- 18:22, 20 May 2016 (diff | hist) . . (+41) . . Java track
- 18:20, 20 May 2016 (diff | hist) . . (-967) . . Benchmark Template - Offline track (current)
- 16:40, 20 May 2016 (diff | hist) . . (+979) . . N Benchmark Template - Java track (Created page with "The Java track is concerned with the monitoring of Java programs. A benchmark will consist of a Java program and a specification (see the rules document). Please follow the e...")
- 23:28, 30 April 2016 (diff | hist) . . (+193) . . Main Page
- 23:38, 25 April 2016 (diff | hist) . . (-1) . . Main Page (→Important Dates)
- 23:29, 23 April 2016 (diff | hist) . . (-1) . . Main Page
- 23:29, 23 April 2016 (diff | hist) . . (+334) . . Main Page
- 23:27, 23 April 2016 (diff | hist) . . (0) . . C generic track
- 23:26, 23 April 2016 (diff | hist) . . (0) . . Offline track
- 23:26, 23 April 2016 (diff | hist) . . (-3) . . Java track
- 23:26, 23 April 2016 (diff | hist) . . (+947) . . N C generic track (Created page with "The C generic track is concerned with the monitoring of C programs. A benchmark will consist of a C program and a specification (see the rules document). Please follow the ex...")
- 23:25, 23 April 2016 (diff | hist) . . (+322) . . N C track (Created page with "There are two subtracks for this track this year. The generic track is for generic specifications (in the same style as those found in the Java and Offline track). The implici...") (current)
- 23:23, 23 April 2016 (diff | hist) . . (+941) . . N Java track (Created page with "The Java track is concerned with the monitoring of Java programs. A benchmark will consist of a Java program and a specification (see the rules document). Please follow the e...")
- 23:22, 23 April 2016 (diff | hist) . . (+616) . . Offline track
- 23:15, 23 April 2016 (diff | hist) . . (+345) . . Main Page
- 19:39, 1 March 2016 (diff | hist) . . (+1,979) . . N Benchmark Template - Offline track (Created page with "TODO: update ''Two to three line overview of benchmark.'' == Benchmark Data == === Specification Information === ''Describe the specification being monitored. The descript...")
- 19:38, 1 March 2016 (diff | hist) . . (+317) . . N Offline track (Created page with "The Offline track is concerned with the monitoring of traces. A benchmark will consist of a trace and a specification. Please use the below template to create your benchmark...")
- 19:37, 1 March 2016 (diff | hist) . . (-25) . . Main Page
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
