Search Results - "Tip, F"

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

“…Web script crashes and malformed dynamically generated webpages are common errors, and they seriously impact the usability of Web applications. Current tools…”
Get full text

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

“…Automated tool support for refactoring is now widely available for mainstream programming languages such as Java. However, current refactoring tools are still…”
Get full text

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

“…In recent years, there has been significant interest in fault-localization techniques that are based on statistical analysis of program constructs executed by…”
Get full text

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

“…Previously we presented atomic sets, memory locations that share some consistency property, and units of work, code fragments that preserve consistency of…”
Get full text

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

“…PHP web applications routinely generate invalid HTML. Modern browsers silently correct HTML errors, but sometimes malformed pages render inconsistently, cause…”
Get full text

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

“…Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for…”
Get full text

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

“…We leverage combined concrete and symbolic execution and several fault-localization techniques to create a uniquely powerful tool for localizing faults in PHP…”
Get full text

Refactoring for Parameterizing Java Classes by Kiezun, A., Ernst, M.D., Tip, F., Fuhrer, R.M.

“…Type safety and expressiveness of many existing Java libraries and their client applications would improve, if the libraries were upgraded to define generic…”
Get full text

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

“…Recent versions of the Java standard library offer flexible locking constructs that go beyond the language's built-in monitor locks in terms of features, and…”
Get full text

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

“…Software development teams exchange source code in shared repositories. These repositories are kept consistent by having developers follow a commit policy,…”
Get full text

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

“…Developers use unit testing to improve the quality of software systems. Current development tools for unit testing help with automating test execution, with…”
Get full text

Crisp--A Fault Localization Tool for Java Programs by Chesley, O.C., Xiaoxia Ren, Ryder, B.G., Tip, F.

“…Crisp is an Eclipse plug-in tool for constructing intermediate versions of a Java program that is being edited. After a long editing session, a programmer will…”
Get full text

Chianti: a change impact analysis tool for java programs by Ren, Xiaoxia, Ryder, Barbara G., Stoerzer, Maximilian, Tip, Frank

“…Chianti is a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analyzes two versions of a Java…”
Get full text

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

“…Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program that (potentially)…”
Get full text

Chianti: a change impact analysis tool for Java programs by Xiaoxia Ren, Ryder, B.G., Stoerzer, M., Tip, F.

“…Chianti is a change impact analysis tool for Java that is implemented in the context of the eclipse environment. Chianti analyzes two versions of a Java…”
Get full text

Class hierarchy specialization by TIP, F, SWEENEY, P. F

Get full text

NİTRÖZ OKSİDİN POSTOPERATİF BULANTI VE KUSMA ÜZERİNE ETKİSİ by Türe, Hatice; Marmara Üniversitesi Tıp Fakültesi, Anesteziyoloji ve Reanimasyon A.D., İstanbul, Türkiye, Takıl, Arzu; Marmara Üniversitesi Tıp Fakültesi, Anesteziyoloji ve Reanimasyon A.D., İstanbul, Türkiye, Eti, Zeynep; Marmara Üniversitesi Tıp Fakültesi, Anesteziyoloji ve Reanimasyon A.D., İstanbul, Türkiye, Göğüş, F. Yılmaz; Marmara Üniversitesi Tıp Fakültesi, Anesteziyoloji ve Reanimasyon A.D., İstanbul, Türkiye

“…Amaç: Postoperatif bulantı ve kusma (POBK) birçok nedenden kaynaklanan ve sık karşılaşılan bir problemdir. POBK ve nitröz oksit arasındaki ilişi yeterince…”
Get full text