Search results

Create the page "Marq" on this wiki! See also the search results found.

• Offline track
  == Team 2 (MarQ) == ...e-slicing, extended the existential quantification and free variables. The MarQ tool is written in Java and uses AspectJ for online monitoring of Java prog
  3 KB (447 words) - 16:39, 14 June 2016
• Java track
  == Team 3 (MarQ) == ...e-slicing, extended the existential quantification and free variables. The MarQ tool is written in Java and uses AspectJ for online monitoring of Java prog
  4 KB (534 words) - 17:56, 2 June 2016
• Java Team3 Benchmark1
  See marq/java/bench1
  6 KB (933 words) - 22:44, 22 July 2016
• Java Team3 Benchmark2
  See marq/java/bench2
  5 KB (899 words) - 22:31, 22 July 2016
• Java Team3 Benchmark3
  See marq/java/bench3
  5 KB (804 words) - 14:34, 13 June 2016
• Offline Team2 Benchmark1
  There are 4 traces in marq/offline/bench1
  4 KB (639 words) - 21:11, 3 June 2016
• Offline Team2 Benchmark2
  There are three traces in marq/offline/bench2
  3 KB (483 words) - 15:56, 7 June 2016
• Offline Team2 Benchmark3
  There are two traces in marq/offline/bench3
  4 KB (578 words) - 16:04, 7 June 2016