Search results

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

• Java track
  == Team 4 (Mufin) == ...information about the tool can be found at [http://www.isp.uni-luebeck.de/mufin].
  4 KB (534 words) - 17:56, 2 June 2016
• Java Team4 Benchmark1
  Location: Java_track/Mufin/Benchmark1
  9 KB (1,273 words) - 09:57, 7 July 2016
• Java Team4 Benchmark2
  Location: Java_track/Mufin/Benchmark2
  4 KB (652 words) - 09:58, 7 July 2016
• Java Team4 Benchmark3
  Location: Java_track/Mufin/Benchmark3
  3 KB (463 words) - 09:59, 7 July 2016
• Java Team2 Benchmark1
  ...be parameterized with uid and not with account_number and amount. --Malte, Mufin, 2016-07-05T18 ..., and Scenarios.runViolatingScenarioForProperty(10) are executed. --Malte, Mufin, 2016-07-05T18
  5 KB (684 words) - 11:12, 23 July 2016
• Java Team2 Benchmark2
  ..., and Scenarios.runViolatingScenarioForProperty(10) are executed. --Malte, Mufin, 2016-07-05T18 ...th the same name in the Interface class: The return type differs. --Malte, Mufin, 2016-07-05T19
  5 KB (579 words) - 14:03, 12 July 2016
• Java Team2 Benchmark3
  ...t copy and paste from Benchmark 2. Could you please update them. -- Malte, Mufin, 2016-07-04T11 ...lled with the provided definition. The return types do not match. --Malte, Mufin, 2016-07-07T13
  4 KB (637 words) - 11:03, 22 July 2016
• Java Team3 Benchmark2
  ...nly about send events, benchmark 1 is about send and ack events. -- Malte, Mufin, 2016-07-04T12
  5 KB (899 words) - 22:31, 22 July 2016