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

A Comprehensive Approach to Naming and Accessibility in Refactoring Java Programs von Schäfer, M., Thies, A., Steimann, F., Tip, F.

Volltext

A slicing-based approach for locating type errors von Tip, F., Dinesh, T. B.

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

Automated repair of HTML generation errors in PHP applications using string constraint solving von Samirni, H., Schafer, M., Artzi, S., Millstein, T., Tip, F., Hendren, L.

Volltext

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

Volltext

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

Volltext

Origin tracking von van Deursen, A., Klint, P., Tip, F.

Volltext

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

Volltext

Scalable propagation-based call graph construction algorithms von Tip, Frank, Palsberg, Jens

Volltext

Understanding class hierarchies using concept analysis von Snelting, Gregor, Tip, Frank

Volltext

Safe-commit analysis to facilitate team software development von Wloka, Jan, Ryder, Barbara, Tip, Frank, Ren, Xiaoxia

Volltext

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

Volltext

Practical extraction techniques for Java von Tip, Frank, Sweeney, Peter F., Laffra, Chris, Eisma, Aldo, Streeter, David

Volltext

JUnitMX - A change-aware unit testing tool von Wloka, Jan, Ryder, Barbara G., Tip, Frank

Volltext

Semantics-Based Composition of Class Hierarchies von Snelting, Gregor, Tip, Frank

Volltext

Dynamic dependence in term rewriting systems and its application to program slicing von Field, John, Tip, Frank

Volltext

Generic techniques for source-level debugging and dynamic program slicing von Tip, Frank

Volltext

Chianti: a tool for change impact analysis of java programs von Ren, Xiaoxia, Shah, Fenil, Tip, Frank, Ryder, Barbara G., Chesley, Ophelia

Volltext