Find Research outputs

Search results

• Conference contribution

  Stabilizing Switching Control for DC- DC Converter in Two-Stage Photovoltaic Grid Connected Inverters

  Liu, Y., Wang, T., Wang, X. & Xiang, W., Dec 10 2018, 2018 International Conference on Information, Cybernetics, and Computational Social Systems, ICCSS 2018. Institute of Electrical and Electronics Engineers Inc., p. 387-392 6 p. 8572323. (2018 International Conference on Information, Cybernetics, and Computational Social Systems, ICCSS 2018).

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

• Stable memoryless queuing under contention

  Garncarek, P., Jurdziński, T. & Kowalski, D. R., Oct 2019, 33rd International Symposium on Distributed Computing, DISC 2019. Suomela, J. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 146).

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

• Star-based reachability analysis of deep neural networks

  Tran, H. D., Manzanas Lopez, D., Musau, P., Yang, X., Nguyen, L. V., Xiang, W. & Johnson, T. T., 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 670-686 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11800 LNCS).

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

• Station assignment with applications to sensing

  Fernández Anta, A., Kowalski, D. R., Mosteiro, M. A. & Wong, P. W. H., 2013, Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Revised Selected Papers. Springer Verlag, p. 155-169 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8243 LNCS).

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

• Stippling by example

  Kim, S. Y., Maciejewski, R., Isenberg, T., Andrews, W. M., Chen, W., Sousa, M. C. & Ebert, D. S., 2009, Proceedings of NPAR 2009: The 7th International Symposium on Non-Photorealistic Animation and Rendering. p. 41-50 10 p. (NPAR Symposium on Non-Photorealistic Animation and Rendering).

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

• Storage and search in dynamic peer-to-peer networks

  Augustine, J., Molla, A. R., Morsy, E., Pandurangan, G., Robinson, P. & Upfal, E., 2013, SPAA 2013 - Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, p. 53-62 10 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

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

• Storage-Optimized Data-Atomic Algorithms for Handling Erasures and Errors in Distributed Storage Systems

  Konwar, K. M., Prakash, N., Kantor, E., Lynch, N., Medard, M. & Schwarzmann, A. A., 2016, Proceedings - 2016 IEEE 30th International Parallel and Distributed Processing Symposium, IPDPS 2016. Institute of Electrical and Electronics Engineers Inc., Vol. abs/1605.01748. p. 720-729 10 p. 7516068. (Proceedings - 2016 IEEE 30th International Parallel and Distributed Processing Symposium, IPDPS 2016).

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

• Strategies for hotlink assignments

  Bose, P., Czyzowicz, J., Gąsieniec, L., Kranakis, E., Krizanc, D., Pelc, A. & Martin, M. V., 2000, Algorithms and Computation - 11th International Conference, ISAAC 2000, Proceedings. Lee, D. T., Teng, S-H. & Teng, S-H. (eds.). Springer Verlag, p. 23-34 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1969).

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

• Stratification based hierarchical clustering over a deep web data source

  Liu, T. & Agrawal, G., 2012, Proceedings of the 12th SIAM International Conference on Data Mining, SDM 2012. Society for Industrial and Applied Mathematics Publications, p. 70-81 12 p. (Proceedings of the 12th SIAM International Conference on Data Mining, SDM 2012).

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

• Stratified sampling for data mining on the deep web

  Liu, T., Wang, F. & Agrawal, G., 2010, Proceedings - 10th IEEE International Conference on Data Mining, ICDM 2010. p. 324-333 10 p. 5693986. (Proceedings - IEEE International Conference on Data Mining, ICDM).

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

• Structural Specification of a Distributed System Using I ⁵

  Bastarrica, M. C., Craig, S., Demurjian, S. A. & Shvartsman, A. A., 2000, Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 1. Wang, P. P. & Wang, P. P. (eds.). 1 ed. p. 484-489 6 p. (Proceedings of the Joint Conference on Information Sciences; vol. 5, no. 1).

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

• Structures and function of remora adhesion

  Nadler, J. H., Mercer, A. J., Culler, M., Ledford, K. A., Bloomquist, R. & Lin, A., 2013, Biomimetic, Bio-Inspired and Self-Assembled Materials for Engineered Surfaces and Applications. p. 159-168 10 p. (Materials Research Society Symposium Proceedings; vol. 1498).

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

• Structures in solution of 1-azaallyllithium analogs

  Jackman, L. M. & Scarmoutzos, L. M., Sep 1985, American Chemical Society, Division of Petroleum Chemistry, Preprints. 4 ed. ACS, Vol. 30. p. 611-614 4 p.

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

• Study of dose enhancement effects in the vicinity of high Z atoms with Geant4 Monte Carlo simulation

  Huang, K., Yan, K. & Yu, Y., Dec 1 2010, Proceedings - 2010 3rd International Conference on Biomedical Engineering and Informatics, BMEI 2010. Vol. 3. p. 1260-1264 5 p. 5639270

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

• Sublinear bounds for randomized leader election

  Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 2013, Distributed Computing and Networking - 14th International Conference, ICDCN 2013, Proceedings. p. 348-362 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7730 LNCS).

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

• Subspace Modeling for Classification of Protein Secondary Structure Elements from Cα Trace

  Sekmen, A., Nasr, K. A. & Jones, C., 2021, Proceedings - 2021 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2021. Huang, Y., Kurgan, L., Luo, F., Hu, X. T., Chen, Y., Dougherty, E., Kloczkowski, A. & Li, Y. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 72-79 8 p. (Proceedings - 2021 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2021).

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

• Supervised average consensus in anonymous dynamic networks

  Kowalski, D. R. & Mosteiro, M. A., Jul 6 2021, SPAA 2021 - Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, p. 307-317 11 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

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

• Supervised Regression Study for Electron Microscopy Data

  Al-Haija, Q. A. & Nasr, K. A., Nov 2019, Proceedings - 2019 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2019. Yoo, I., Bi, J. & Hu, X. T. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 2661-2668 8 p. 8983101. (Proceedings - 2019 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2019).

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

• Supporting a visualization application on a self-adapting grid middleware

  Chen, L., Shen, H. W. & Agrawal, G., 2008, IPDPS Miami 2008 - Proceedings of the 22nd IEEE International Parallel and Distributed Processing Symposium, Program and CD-ROM. 4536208. (IPDPS Miami 2008 - Proceedings of the 22nd IEEE International Parallel and Distributed Processing Symposium, Program and CD-ROM).

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

• Supporting fault tolerance in a data-intensive computing middleware

  Bicer, T., Jiang, W. & Agrawal, G., 2010, Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2010. 5470462. (Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2010).

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

• Supporting increment and decrement operations in balancing networks

  Aiello, W., Busch, C., Herlihy, M., Mavronicolas, M., Shavit, N. & Touitou, D., 1999, STACS 99 - 16th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Meinel, C. & Tison, S. (eds.). Springer Verlag, p. 393-403 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1563).

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

• Supporting load balancing for distributed data-intensive applications

  Glimcher, L., Ravi, V. T. & Agrawal, G., 2009, 16th International Conference on High Performance Computing, HiPC 2009 - Proceedings. p. 235-244 10 p. 5403204. (16th International Conference on High Performance Computing, HiPC 2009 - Proceedings).

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

• Surface characterization of Ga-doped ZnO layers

  McNamara, J. D., Ferguson, J. D., Foussekis, M., Ruchala, I., Reshchikov, M. A., Baski, A. A., Liu, H., Avrutin, V. & Morkoç, H., 2012, Transparent Conducting Oxides and Applications. p. 77-82 6 p. (Materials Research Society Symposium Proceedings; vol. 1315).

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

• Surface-enhanced Raman scattering for label-free protein detection and identification

  Çulha, M. & Keskin, S., 2012, Plasmonics in Biology and Medicine IX. 823407. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 8234).

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

• Surface-enhanced Raman scattering from living cells: From differentiating healthy and cancerous cell to cytotoxicity assessment

  Kuku, G., Sariçam, M., Mert, S. & Çulha, M., 2015, Smart Biomedical and Physiological Sensor Technology XII. Cullum, B. M. & McLamore, E. S. (eds.). SPIE, 94870L. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 9487).

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

• Surface-enhanced Raman scattering of microorganisms

  Culha, M., 2010, XXII International Conference on Raman Spectroscopy, ICORS 2010. p. 86-87 2 p. (AIP Conference Proceedings; vol. 1267).

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

• Surface-enhanced Raman scattering of proteins

  Kahraman, M., Sur, I. & Culha, M., 2010, XXII International Conference on Raman Spectroscopy, ICORS 2010. p. 1055-1056 2 p. (AIP Conference Proceedings; vol. 1267).

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

• Surface matching algorithms for computer aided reconstructive plastic surgery

  Bhandarkar, S. M., Chowdhury, A. S., Tang, Y., Yu, J. C. & Tollner, E. W., Dec 1 2004, 2004 2nd IEEE International Symposium on Biomedical Imaging: Macro to Nano. Vol. 1. p. 740-743 4 p.

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

• Surface reconstruction for computer vision-based craniofacial surgery

  Bhandarkar, S. M., Chowdhury, A. S., Tollner, E. W., Yu, J. C., Ritter, E. W. & Konar, A., Jan 1 2005, Proceedings - Seventh IEEE Workshop on Applications of Computer Vision, WACV 2005. IEEE Computer Society, p. 257-262 6 p. 4129488. (Proceedings - Seventh IEEE Workshop on Applications of Computer Vision, WACV 2005).

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

• Surface registration for use in interactive image-guided liver surgery

  Herline, A. J., Herring, J. L., Stefansic, J. D., Chapman, W. C., Galloway, R. L. & Dawant, B. M., 1999, Medical Image Computing and Computer-Assisted Intervention –MICCAI 1999 - 2nd International Conference, Proceedings. Taylor, C. & Colchester, A. (eds.). Springer Verlag, p. 892-899 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1679).

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

  Open Access
  12 Scopus citations

• Swarm Model Checking on the GPU

  DeFrancisco, R., Cho, S., Ferdman, M. & Smolka, S. A., 2019, Model Checking Software - 26th International Symposium, SPIN 2019, Proceedings. Biondi, F., Given-Wilson, T. & Legay, A. (eds.). Springer, p. 94-113 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11636 LNCS).

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

• Symmetry breaking in the congest model: Timeand message-efficient algorithms for ruling sets

  Pai, S., Pandurangan, G., Pemmaraju, S. V., Riaz, T. & Robinson, P., Oct 1 2017, 31st International Symposium on Distributed Computing, DISC 2017. Richa, A. W. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 91).

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

• Symmetry breaking in the plane: Rendezvous by robots with unknown attributes

  Czyzowicz, J., Gasieniec, L., Killick, R. & Kranakis, E., Jul 16 2019, PODC 2019 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 4-13 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

• Synchronous byzantine agreement with nearly a cubic number of communication bits

  Kowalski, D. R. & Mostéfaoui, A., 2013, PODC 2013 - Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing. p. 84-91 8 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

• Synchronous rendezvous for location-aware agents

  Collins, A., Czyzowicz, J., Ga̧sieniec, L., Kosowski, A. & Martin, R., 2011, Distributed Computing - 25th International Symposium, DISC 2011, Proceedings. p. 447-459 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6950 LNCS).

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

• Synthesis, functionalization, characterization, and application of controlled shape nanoparticles in energy production

  Murph, S. E. H., Serkiz, S. M., Fox, E. B., Colon-Mercado, H., Sexton, L. & Siegfried, M., 2011, Fluorine-Related Nanoscience with Energy Applications. American Chemical Society, p. 127-163 37 p. (ACS Symposium Series; vol. 1064).

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

• Synthesis of concurrent systems with many similar sequential processes

  Attie, P. C. & Emerson, E. A., Dec 1 1989, Conf Rec Sixteenth Annu ACM Symp Princ Program Lang. Publ by ACM, p. 191-201 11 p. (Conf Rec Sixteenth Annu ACM Symp Princ Program Lang).

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

• Synthesis of large concurrent programs via pairwise composition

  Attie, P. C., 1999, CONCUR 1999, Concurrency Theory - 10th International Conference, Proceedings. Springer Verlag, p. 130-145 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1664 LNCS).

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

• Tail amplification in n-Tier Systems: A study of transient cross-resource contention attacks

  Zhang, S., Shan, H., Wang, Q., Liu, J., Yan, Q. & Wei, J., Jul 2019, Proceedings - 2019 39th IEEE International Conference on Distributed Computing Systems, ICDCS 2019. Institute of Electrical and Electronics Engineers Inc., p. 1527-1538 12 p. 8884816. (Proceedings - International Conference on Distributed Computing Systems; vol. 2019-July).

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

• Taking total control of voting systems: firmware manipulations on an optical scan voting terminal. Firmware manipulations on an optical scan voting terminal

  Davtyan, S., Kentros, S., Kiayias, A., Michel, L., Nicolaou, N., Russell, A., See, A., Shashidhar, N. & Shvartsman, A. A., 2009, 24th Annual ACM Symposium on Applied Computing, SAC 2009. p. 2049-2053 5 p. (Proceedings of the ACM Symposium on Applied Computing).

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

• Tampering with special purpose trusted computing devices: A case study in Optical Scan e-voting

  Kiayias, A., Michel, L., Russell, A., Shashidhar, N., See, A., Shvartsman, A. & Davtyan, S., 2007, Proceedings - 23rd Annual Computer Security Applications Conference, ACSAC 2007. p. 30-39 10 p. 4412974. (Proceedings - Annual Computer Security Applications Conference, ACSAC).

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

• Task decomposition for adaptive data staging in workflows for distributed environments

  Ezenwoye, O., Viswanathan, B., Sadjadi, S. M., Fong, L., Dasgupta, G. & Kalayci, S., Dec 1 2009, Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009. p. 16-19 4 p. (Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009).

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

• Teacher preparation programs and response to intervention (RTI): Learning from K-12 educators

  Kuo, N-C., 2012, Teacher preparation programs and response to intervention (RTI): Learning from K-12 educators.

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

• Technical communication education in a digital, visual world

  Armfield, D. M., Gurak, L. J., Kays, T. M. & Weinberg, J., 2012, 2012 IEEE International Professional Communication Conference, IPCC 2012. 6408637. (IEEE International Professional Communication Conference).

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

• TEDDY - The Environmental Determinants of Diabetes in the Young: An observational clinical trial

  Hagopian, W. A., Lernmark, Å., Rewers, M. J., Simell, O. G., She, J. X., Ziegler, A. G., Krischer, J. P. & Akolkar, B., Oct 2006, Immunology of Diabetes IV: Progress in Our Understanding. Blackwell Publishing Inc., p. 320-326 7 p. (Annals of the New York Academy of Sciences; vol. 1079).

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

• Telelife: A Vision of Remote Living in 2035

  Bektas, K., Kim, J., Peng, H., Kiyokawa, K., Steed, A., Höllerer, T., Kosmyna, N., Akşit, K., Sra, M. & Orlosky, J., Apr 27 2022, CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 155. (Conference on Human Factors in Computing Systems - Proceedings).

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

• Tell me where I am so I can meet you sooner: (Asynchronous rendezvous with location information)

  Collins, A., Czyzowicz, J., Ga̧sieniec, L. & Labourel, A., 2010, Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Proceedings. PART 2 ed. p. 502-514 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6199 LNCS, no. PART 2).

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

• Temperature dependent behavior of the SPV for n-type GaN

  McNamara, J. D., Foussekis, M., Liu, H., Morkoç, H., Reshchikov, M. A. & Baski, A. A., Apr 16 2012, Gallium Nitride Materials and Devices VII. 826213. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 8262).

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

• Temporal flows in temporal networks

  Akrida, E. C., Czyzowicz, J., Gasieniec, L., Kuszner, L. & Spirakis, P. G., 2017, Algorithms and Complexity - 10th International Conference, CIAC 2017, Proceedings. Fotakis, D., Pagourtzis, A. & Paschos, V. T. (eds.). Springer Verlag, p. 43-54 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10236 LNCS).

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

• Testing Cloud Applications under Cloud-Uncertainty Performance Effects

  Wang, W., Tian, N., Huang, S., He, S., Srivastava, A., Soffa, M. L. & Pollock, L., May 25 2018, Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation, ICST 2018. Institute of Electrical and Electronics Engineers Inc., p. 81-92 12 p. (Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation, ICST 2018).

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