Using Formal Specifications to Support Testing von HIERONS, Robert M, BOGDANOV, Kirill, LÜTTGEN, Gerald, SIMONS, Anthony J. H, VILKOMIR, Sergiy, WOODWARD, Martin R, ZEDAN, Hussein, BOWEN, Jonathan P, CLEAVELAND, Rance, DERRICK, John, DICK, Jeremy, GHEORGHE, Marian, HARMAN, Mark, KAPOOR, Kalpesh, KRAUSE, Paul

Volltext

Sequence labeling to detect stuttering events in read speech von Alharbi, Sadeen, Hasan, Madina, Simons, Anthony J H, Brumfitt, Shelagh, Green, Phil

Volltext

A verified and optimized Stream X‐Machine testing method, with application to cloud service certification von Simons, Anthony J. H., Lefticaru, Raluca

Volltext

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction von Simons, Anthony J. H.

Volltext

Rapid Development of Service-based Cloud Applications: The Case of the Cloud Application Platforms von Gonidis, Fotis, Paraskakis, Iraklis, Simons, Anthony J. H

Volltext

Z2SAL: a translation-based model checker for Z von Derrick, John, North, Siobhán, Simons, Anthony J. H.

Volltext

Guest editor's introduction to the special section on TAIC-PART 2010 - Testing: Academic and Industrial Conference-Practice and Research Techniques von Simons, Anthony J H, Fraser, Gordon, Bottaci, Leonardo

Volltext

Kalman Filter Based Prediction and Forecasting of Cloud Server KPIs von Gyeera, Thomas Weripuo, Simons, Anthony J.H., Stannett, Mike

Volltext

Regression Analysis of Predictions and Forecasts of Cloud Data Center KPIs Using the Boosted Decision Tree Algorithm von Gyeera, Thomas Weripuo, Simons, Anthony J.H., Stannett, Mike

Volltext

A theory of regression testing for behaviourally compatible object types von Simons, Anthony J. H.

Volltext

A Formula-Driven Scalable Benchmark Model for ABM, Applied to FLAME GPU von Alzahrani, Eidah, Richmond, Paul, Simons, Anthony J. H.

Volltext

Testing with Guarantees and the Failure of Regression Testing in eXtreme Programming von Simons, Anthony J. H.

Volltext

Detecting Stuttering Events in Transcripts of Children’s Speech von Alharbi, Sadeen, Hasan, Madina, Simons, Anthony J. H., Brumfitt, Shelagh, Green, Phil

Volltext

Z2SAL: a translation-based model checker for Z: Papers from the ABZ 2008 Conference von DERRICK, John, NORTH, Siobhán, SIMONS, Anthony J. H

Volltext

Building a refinement checker for Z von Derrick, John, North, Siobhán, Simons, Anthony J H

Volltext

Building a refinement checker for Z von Derrick, John, North, Siobhán, Simons, Anthony J.H.

Volltext

Model-Based Testing in Cloud Brokerage Scenarios von Kiran, Mariam, Friesen, Andreas, Simons, Anthony J. H., Schwach, Wolfgang K. R.

Volltext

Using formal specifications to support testing von Hierons, Robert M, Bogdanov, Kirill, Bowen, Jonathan P, Cleaveland, Rance, Derrick, John, Dick, Jeremy, Gheorghe, Marian, Harman, Mark, Kapoor, Kalpesh, Krause, Paul, Lüttgen, Gerald, Simons, Anthony J H, Vilkomir, Sergiy, Woodward, Martin R, Zedan, Hussein

Volltext

Using Alloy to model-check visual design notations von Simons, Anthony J H, Fernandez-y-Fernandez, Carlos Alberto

Volltext

Cloud Service Brokerage - 2013: Methods and Mechanisms von Mentzas, Gregoris, Simons, Anthony J. H., Paraskakis, Iraklis

Volltext