Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking von Artzi, S, Kiezun, A, Dolby, J, Tip, F, Dig, D, Paradkar, A, Ernst, M D

Volltext

First observations of confined fast ions in MAST Upgrade with an upgraded neutron camera von Cecconello, M, Dolby, I J, Sperduti, A, Rivero-Rodriguez, J, Ericsson, G, Fitzgerald, I, Allan, S Y, Voller, J, Honey, B, Nizar, B A, Elmore, S D

Volltext

Synthesis of 7‐Oxo‐1,2,3,4,6,7,12,12b‐octahydroindolo[2,3‐a]quinolizine von Tompkins, David C., Nelson, Randall B., Dolby, Lloyd J., Gribble, Gordon W.

Volltext

The volitional travel speed varies with reproductive state in mature female brown trout Salmo trutta von Svendsen, J. C., Aarestrup, K., Dolby, J., Svendsen, T. C., Christensen, R. H. B.

Volltext

Synthesis of 6‐Oxo‐1,2,3,4,6,7,12,12b‐octahydroindolo[2,3‐a]quinolizine von Tompkins, David C., Reilly, Laurence W., Nelson, Randall B., Dolby, Lloyd J., Gribble, Gordon W.

Volltext

Fault Localization for Dynamic Web Applications von Artzi, S., Dolby, J., Tip, F., Pistoia, M.

Volltext

Dynamic detection of atomic-set-serializability violations von Hammer, C., Dolby, J., Vaziri, M., Tip, F.

Volltext

Reductions with Lithium in Low Molecular Weight Amines and Ethylenediamine von Garst, Michael E, Dolby, Lloyd J, Esfandiari, Shervin, Fedoruk, N. Andrew, Chamberlain, Natalie C, Avey, Alfred A

Volltext

An Altar from Marton, Lincolnshire, and a Soldier of Leg. XI Claudia in Britain von Buckland, Paul C., Dolby, Malcolm J.

Volltext

A framework for automated testing of javascript web applications von Artzi, Shay, Dolby, Julian, Jensen, Simon Holm, Møller, Anders, Tip, Frank

Volltext

Studies of the Condensation of Sulfones with Ketones and Aldehydes von Garst, Michael E, Dolby, Lloyd J, Esfandiari, Shervin, Okrent, Rachel A, Avey, Alfred A

Volltext

Campylobacter pyloridis in peptic ulcer disease: microbiology, pathology, and scanning electron microscopy von Price, A B, Levi, J, Dolby, J M, Dunscombe, P L, Smith, A, Clark, J, Stephenson, M L

Volltext

Practical fault localization for dynamic web applications von Artzi, Shay, Dolby, Julian, Tip, Frank, Pistoia, Marco

Volltext

A genomics approach in determining nanotopographical effects on MSC phenotype von Tsimbouri, Penelope M, Murawski, Kate, Hamilton, Graham, Herzyk, Pawel, Oreffo, Richard O.C, Gadegaard, Nikolaj, Dalby, Matthew J

Volltext

Refactoring Java programs for flexible locking von Schäfer, Max, Sridharan, Manu, Dolby, Julian, Tip, Frank

Volltext

In patients with stable coronary heart disease, low-density lipoprotein-cholesterol levels < 70 mg/dL and glycosylated hemoglobin A1c < 7% are associated with lower major cardiovas... von White, Harvey D., Stewart, Ralph A.H., Dalby, Anthony J., Stebbins, Amanda, Cannon, Christopher P., Budaj, Andrzej, Linhart, Ales, Pais, Prem, Diaz, Rafael, Steg, Philippe Gabriel, Krug-Gourley, Sue, Granger, Christopher B., Hochman, Judith S., Koenig, Wolfgang, Harrington, Robert A., Held, Claes, Wallentin, Lars

Volltext

Nanoscale Coatings for Ultralow Dose BMP‐2‐Driven Regeneration of Critical‐Sized Bone Defects von Cheng, Zhe A., Alba‐Perez, Andres, Gonzalez‐Garcia, Cristina, Donnelly, Hannah, Llopis‐Hernandez, Virginia, Jayawarna, Vineetha, Childs, Peter, Shields, David W., Cantini, Marco, Ruiz‐Cantu, Laura, Reid, Andrew, Windmill, James F. C., Addison, Elena S., Corr, Sandra, Marshall, William G., Dalby, Matthew J., Salmeron‐Sanchez, Manuel

Volltext

Efficiently Refactoring Java Applications to Use Generic Libraries von Fuhrer, Robert, Tip, Frank, Kieżun, Adam, Dolby, Julian, Keller, Markus

Volltext

Synthesis of 6‐Oxo‐1,2,3,4,6,7,12,12 b ‐octahydroindolo[2,3‐ a ]quinolizine von Tompkins, David C., Reilly, Laurence W., Nelson, Randall B., Dolby, Lloyd J., Gribble, Gordon W.

Volltext

In patients with stable coronary heart disease, low-density lipoprotein-cholesterol levels &lt; 70 mg/dL and glycosylated hemoglobin A1c &lt; 7% are associated with lower major car... von White, Harvey D., Stewart, Ralph A. H., Dolby, Anthony J., Stebbins, Amanda, Cannon, Christopher P., Budaj, Andrzej, Linhart, Ales, Pais, Prem, Diaz, Rafael, Steg, Philippe Gabriel, Krug-Gourley, Sue, Granger, Christopher B., Hochman, Judith S., Koenig, Wolfgang, Harrington, Robert A., Held, Claes, Wallentin, Lars

Volltext