Search

Use filters to refine the search results.

Showing 7 out of a total of 7 results for collection: Department of Computer Science Technical Reports. (0.006 seconds)

Now showing items 1-7 of 7

Automated extraction and validation of security policies from natural-language documents

Xiao, Xusheng; Paradkar, Amit; Xie, Tao (North Carolina State University. Dept. of Computer Science, 2011)
Retrofitting unit tests for parameterized unit testing

Marri, Madhuri; Thummalapenta, Suresh; Xie, Tao; Tillmann, Nikolai; de Halleux, Jonathan (North Carolina State University. Dept. of Computer Science, 2010)
Test generation via dynamic symbolic execution for mutation testing

Zhang, Lingming; Xie, Tao; Zhang, Lu; Tillmann, Nikolai; de Halleux, Jonathan; Mei, Hong (North Carolina State University. Dept. of Computer Science, 2010)
Issue analysis for residual structural coverage in dynamic symbolic execution

Xiao, Xusheng; Xie, Tao; Tillmann, Nikolai; de Halleux, Jonathan; Mei, Hong (North Carolina State University. Dept. of Computer Science, 2010)
Alattin: Mining alternative patterns for defect detection

Thummalapenta, Suresh; Xie, Tao (North Carolina State University. Dept. of Computer Science, 2010)
A comprehensive field study of end-user programming on mobile devices

Lee, Sihan; Xie, Tao; Tillmann, Nikolai (North Carolina State University. Dept. of Computer Science, 2013)
Automated testing of cloud applications

Zhang, Linghao; Xie, Tao; Tillmann, Nikolai; de Halleux, Jonathan; Ma, Xiaoxing; Iv, Jian (North Carolina State University. Dept. of Computer Science, 2011)

Now showing items 1-7 of 7