Find Research outputs

Search results

• Automated test input generation for android: Towards getting there in an industrial case

  Zheng, H., Li, D., Liang, B., Zeng, X., Zheng, W., Deng, Y., Lam, W., Yang, W. & Xie, T., Jun 30 2017, Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track, ICSE-SEIP 2017. Institute of Electrical and Electronics Engineers Inc., p. 253-262 10 p. 7965449. (Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track, ICSE-SEIP 2017).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated test input generation for android: Are we really there yet in an industrial case?

  Zeng, X., Li, D., Zheng, W., Xia, F., Deng, Y., Lam, W., Yang, W. & Xie, T., Nov 1 2016, FSE 2016 - Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Su, Z., Zimmermann, T. & Cleland-Huang, J. (eds.). Association for Computing Machinery, p. 987-992 6 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 13-18-November-2016).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Automated testing of refactoring engines

  Daniel, B., Dig, D., Garcia, K. & Marinov, D., 2007, 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007. p. 185-194 10 p. (6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated testing and response analysis of web services

  Martin, E., Basu, S. & Xie, T., 2007, Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007. p. 647-654 8 p. 4279655. (Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated test generation for access control policies via change-impact analysis

  Martin, E. & Tao, X., 2007, Proceedings - ICSE 2007 Workshops: Third International Workshop on Software Engineering for Secure Systems, SESS'07. 4273331. (Proceedings - ICSE 2007 Workshops: Third International Workshop on Software Engineering for Secure Systems, SESS'07).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated test data generation for aspect-oriented programs

  Harman, M., Islam, F., Xie, T. & Wappler, S., 2009, Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, AOSD'09. p. 185-196 12 p. (Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, AOSD'09).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated telephone reminders for improving ambulatory care services

  Leirer, V. O., Tanke, E. D. & Morrow, D. Q., Oct 1992, In: Journal of Ambulatory Care Management. 15, 4, p. 54-62 9 p.

  Research output: Contribution to journal › Article › peer-review

• Automated Teaching Machine

  Bitzer, D. L., Oct 15 1968, U.S. Patent No. 3405457

  Research output: Patent

• Automated Target Tracking in Real-Time: Optimal Adjustment of the Parameters

  Bauer, R. O. & Beauzamy, B., Oct 1 1999, In: Journal of Mathematical Analysis and Applications. 238, 1, p. 1-19 19 p.

  Research output: Contribution to journal › Article › peer-review

• Automated system for multi-objective optimization of construction supply and site logistics

  Said, H. & El-Rayes, K., 2013, p. 204-213. 10 p.

  Research output: Contribution to conference › Paper › peer-review

• AUTOMATED SYSTEM FOR MEASUREMENT OF ABSORPTION COEFFICIENTS USING THE TRANSIENT THERMOELECTRIC TECHNIQUE.

  Duback, D. W., Frizzell, L. A. & O'Brien, W. D., 1979, In: Ultrasonics Symposium Proceedings. p. 388-391 4 p.

  Research output: Contribution to journal › Conference article › peer-review

• Automated systematic testing of open distributed programs

  Sen, K. & Agha, G., 2006, Fundamental Approaches to Software Engineering - 9th International Conference, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. Springer, p. 339-356 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3922 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Automated synthesis of small molecules using chiral, non-racemic boronates

  Gillis, E. P., Burke, M. D. & Li, J., Jul 12 2016, U.S. Patent No. 9388131, Apr 21 2015

  Research output: Patent

• Automated synthesis of small molecules using chiral, non-racemic boronates

  Gillis, E. P., Burke, M. D. & Li, J., Mar 26 2019, U.S. Patent No. 10239824, Jul 11 2016

  Research output: Patent

• Automated synthesis of small molecules using chiral, non-racemic boronates

  Gillis, E. P., Burke, M. D. & Li, J., Aug 25 2020, U.S. Patent No. 10752577, Jan 23 2019

  Research output: Patent

• Automated synthesis of small molecules using chiral, non-racemic boronates

  Gillis, E. P., Burke, M. D. & Li, J., Apr 21 2015, U.S. Patent No. 9012658, Apr 26 2012

  Research output: Patent

• Automated symbolic algebra for quantum chemistry

  Hirata, S., Oct 1 2006, In: Journal of Physics: Conference Series. 46, 1, p. 249-253 5 p., 036.

  Research output: Contribution to journal › Article › peer-review

• Automated structure factor refinement from convergent-beam patterns

  Zuo, J. M. & Spence, J. C. H., Jun 1991, In: Ultramicroscopy. 35, 3-4, p. 185-196 12 p.

  Research output: Contribution to journal › Article › peer-review

• Automated structure‐factor refinement from convergent‐beam electron diffraction patterns

  Zuo, J-M., May 1993, In: Acta Crystallographica Section A. 49, 3, p. 429-435 7 p.

  Research output: Contribution to journal › Article › peer-review

• Automated speed photo enforcement effects on speeds in work zones

  Benekohal, R. F., Chitturi, M. V., Hajbabaie, A., Wang, M. H. & Medina, J. C., 2008, In: Transportation Research Record. 2055, p. 11-20 10 p.

  Research output: Contribution to journal › Article › peer-review

• Automated solution of the low-thrust interplanetary trajectory problem

  Englander, J. A. & Conway, B. A., 2017, In: Journal of Guidance, Control, and Dynamics. 40, 1, p. 15-27 13 p.

  Research output: Contribution to journal › Article › peer-review

• Automated sleep state classification of wide-field calcium imaging data via multiplex visibility graphs and deep learning

  Zhang, X., Landsness, E. C., Chen, W., Miao, H., Tang, M., Brier, L. M., Culver, J. P., Lee, J. M. & Anastasio, M. A., Jan 15 2022, In: Journal of Neuroscience Methods. 366, 109421.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automated single-molecule imaging to track DNA shape

  Juan Guan, G., Bo Wang, W. & Granick, S., Jun 1 2011, In: Langmuir. 27, 10, p. 6149-6154 6 p.

  Research output: Contribution to journal › Article › peer-review

• Automated single cell microbioreactor for monitoring intracellular dynamics and cell growth in free solution

  Johnson-Chavarria, E. M., Agrawal, U., Tanyeri, M., Kuhlman, T. E. & Schroeder, C. M., Aug 7 2014, In: Lab on a chip. 14, 15, p. 2688-2697 10 p.

  Research output: Contribution to journal › Article › peer-review

• Automated simulation of velocity and wall shear stress patterns inside a healthy carotid bifurcation

  Piersol, N. E., Lee, S., Kalata, W., Loth, F., Fischer, P. F., Leaf, G., Alperin, N. & Bassiouny, H. S., 2001, In: American Society of Mechanical Engineers, Bioengineering Division (Publication) BED. 50, p. 755-756 2 p.

  Research output: Contribution to journal › Conference article › peer-review

• AUTOMATED SIMULATION OF COMPRESSION MOLD FILLING FOR COMPLEX PARTS.

  Osswald, T. A. & Tucker, C. L., 1985, In: Annual Technical Conference - Society of Plastics Engineers. p. 169-172 4 p.

  Research output: Contribution to journal › Conference article › peer-review

• Automated sensorless single-shot closed-loop adaptive optics microscopy with feedback from computational adaptive optics

  Iyer, R. R., Liu, Y. Z. & Boppart, S. A., Apr 29 2019, In: Optics Express. 27, 9, p. 12998-13014 17 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automated segmentation of micro-CT images of bone formation in calcium phosphate scaffolds

  Polak, S. J., Candido, S., Levengood, S. K. L. & Wagoner Johnson, A. J., Jan 2012, In: Computerized Medical Imaging and Graphics. 36, 1, p. 54-65 12 p.

  Research output: Contribution to journal › Article › peer-review

• Automated Segmentation and Morphological Analyses of Stockpile Aggregate Images using Deep Convolutional Neural Networks

  Huang, H., Luo, J., Tutumluer, E., Hart, J. M. & Stolba, A. J., 2020, In: Transportation Research Record. 2674, 10, p. 285-298 14 p.

  Research output: Contribution to journal › Article › peer-review

• Automated screening of COVID-19 preprints: can we help authors to improve transparency and reproducibility?

  Weissgerber, T., Riedel, N., Kilicoglu, H., Labbé, C., Eckmann, P., Ter Riet, G., Byrne, J., Cabanac, G., Capes-Davis, A., Favier, B., Saladi, S., Grabitz, P., Bannach-Brown, A., Schulz, R., McCann, S., Bernard, R. & Bandrowski, A., Jan 2021, In: Nature Medicine. 27, 1, p. 6-7 2 p.

  Research output: Contribution to journal › Letter › peer-review

• Automated retrieval and ranking of similar parts in agile manufacturing

  Iyer, S. & Nagi, R., 1997, In: IIE Transactions (Institute of Industrial Engineers). 29, 10, p. 859-876 18 p.

  Research output: Contribution to journal › Article › peer-review

• Automated regulatory information extraction from building codes leveraging syntactic and semantic information

  Zhang, J. & EL-Gohary, N., 2012, Construction Research Congress 2012: Construction Challenges in a Flat World, Proceedings of the 2012 Construction Research Congress. p. 622-632 11 p. (Construction Research Congress 2012: Construction Challenges in a Flat World, Proceedings of the 2012 Construction Research Congress).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated registration of multimodality images by maximization of a region similarity measure

  Liang, Z-P., Pan, H., Magin, R. L., Ahuja, N. & Huang, T. S., 1997, IEEE International Conference on Image Processing. IEEE Comp Soc, Vol. 3. p. 272-275 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated region segmentation using attraction-based grouping in spatial-color-texture space

  Rui, Y., She, A. C. & Huang, T. S., 1996, IEEE International Conference on Image Processing. Anon (ed.). IEEE, Vol. 1. p. 53-56 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated reasoning for regulatory compliance checking in the construction domain

  Zhang, J. & El-Gohary, N. M., 2014, Construction Research Congress 2014: Construction in a Global Network - Proceedings of the 2014 Construction Research Congress. American Society of Civil Engineers, p. 907-916 10 p. (Construction Research Congress 2014: Construction in a Global Network - Proceedings of the 2014 Construction Research Congress).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated reasoning and natural proofs for programs manipulating data structures

  Parthasarathy, M., 2012, 32nd International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012. Vol. 18. p. 34-35 2 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated reading of DNA autoradiogram images using lane profiling methods

  Palaniappan, K., Huang, T. S. & Lee, H., 1989, p. 360-367. 8 p.

  Research output: Contribution to conference › Paper › peer-review

• Automated quantized inference for probabilistic programs with AQUA

  Huang, Z., Dutta, S. & Misailovic, S., Sep 2022, In: Innovations in Systems and Software Engineering.

  Research output: Contribution to journal › Article › peer-review

• Automated quality control of in situ soil moisture from the North American Soil Moisture Database using NLDAS-2 products

  Xia, Y., Ford, T. W., Wu, Y., Quiring, S. M. & Ek, M. B., 2015, In: Journal of Applied Meteorology and Climatology. 54, 6, p. 1267-1282 16 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automated QoS-oriented cloud resource optimization using containers

  Sun, Y., White, J., Li, B., Walker, M. & Turner, H., Mar 1 2017, In: Automated Software Engineering. 24, 1, p. 101-137 37 p.

  Research output: Contribution to journal › Article › peer-review

• Automated protein resonance assignments of magic angle spinning solid-state NMR spectra of β1 immunoglobulin binding domain of protein G (GB1)

  Moseley, H. N. B., Sperling, L. J. & Rienstra, C. M., Nov 2010, In: Journal of Biomolecular NMR. 48, 3, p. 123-128 6 p.

  Research output: Contribution to journal › Article › peer-review

• Automated prostate tissue referencing for cancer detection and diagnosis

  Sinha, S., Kwak, J. T. & Bhargava, R., Oct 3 2017, U.S. Patent No. 9779283, Jan 5 2012

  Research output: Patent

• Automated prostate tissue referencing for cancer detection and diagnosis

  Kwak, J. T., Hewitt, S. M., Kajdacsy-Balla, A. A., Sinha, S. & Bhargava, R., Jun 1 2016, In: BMC bioinformatics. 17, 1, 227.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automated prostate tissue referencing for cancer detection and diagnosis

  Sinha, S., Kwak, J. T. & Bhargava, R., Jan 5 2016, U.S. Patent No. 9230063, Jan 18 2012

  Research output: Patent

• Automated pronunciation scoring using confidence scoring and landmark-based SVM

  Yoon, S. Y., Hasegawa-Johnson, M. A. & Sproat, R., 2009, In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. p. 1903-1906 4 p.

  Research output: Contribution to journal › Article › peer-review

• Automated progress monitoring using unordered daily construction photographs and IFC-based building information models

  Golparvar-Fard, M., Peña-Mora, F. & Savarese, S., Jan 1 2015, In: Journal of Computing in Civil Engineering. 29, 1, 04014025.

  Research output: Contribution to journal › Article › peer-review

• Automated Program Repair in the Era of Large Pre-trained Language Models

  Xia, C. S., Wei, Y. & Zhang, L., 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. IEEE Computer Society, p. 1482-1494 13 p. (Proceedings - International Conference on Software Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated procedure for generation of creep compliance master curve for asphalt mixtures

  Buttlar, W. G., Roque, R. & Reid, B., 1998, In: Transportation Research Record. 1630, p. 28-36 9 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automated pollen identification system for forensic geo-historical location applications

  Hwang, G. M., Riley, K. C., Christou, C. T., Jacyna, G. M., Woodard, J. P., Ryan, R. M., Bush, M. B., Valencia, B. G., McMichael, C. N. H., Punyasena, S. W. & Masters, D. L., 2013, 2013 IEEE International Conference on Technologies for Homeland Security, HST 2013. p. 297-303 7 p. 6699018. (2013 IEEE International Conference on Technologies for Homeland Security, HST 2013).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated poisoning attacks and defenses in malware detection systems: An adversarial machine learning approach

  Chen, S., Xue, M., Fan, L., Hao, S., Xu, L., Zhu, H. & Li, B., Mar 2018, In: Computers and Security. 73, p. 326-344 19 p.

  Research output: Contribution to journal › Article › peer-review