Type and interval aware array constraint solving for symbolic execution

by SHUAI, Ziqi, CHEN, Zhenbang, ZHANG, Yufeng, SUN, Jun, WANG, Ji
Published 2021

Towards optimal concolic testing

by WANG, Xinyu, SUN, Jun, CHEN, Zhenbang, ZHANG, Peixin, WANG, Jingyi, LIN, Yun
Published 2018

Partial solution based constraint solving cache in symbolic execution

by SHUAI, Ziqi, CHEN, Zhenbang, MA, Kelin, LIU, Kunlin, ZHANG, Yufeng, SUN, Jun, WANG, Ji
Published 2024

Symbolic verification of message passing interface programs

by YU, Hengbiao, CHEN, Zhenbang, FU, Xianjin, WANG, Ji, SU, Zhendong, SUN, Jun, HUANG, Chun, DONG, Wei
Published 2020

Assessing the carcinogenic potential of low-dose exposures to chemical mixtures in the environment: the challenge ahead

by Goodson III, William H., Lowe, Leroy, Carpenter, David O., Gilbertson, Michael, Ali, Abdul Manaf, Salsamendi, Adela Lopez de Cerain, Lasfar, Ahmed, Carnero, Amancio, Azqueta, Amaya, Amedei, Amedeo, Charles, Amelia K., Collins, Andrew R., Ward, Andrew, Salzberg, Anna C., Colacci, Anna Maria, Olsen, Ann Karin, Berg, Arthur, Barclay, Barry J., Zhou, Binhua P., Aparicio, Carmen Blanco, Baglole, Carolyn J., Dong, Chenfang, Mondello, Chiara, Chia, Wen Hsu, Naus, Christian C., Yedjou, Clement, Curran, Colleen S., Laird, Dale W., Koch, Daniel C., Carlin, Danielle J., Felsher, Dean W., Roy, Debasish, Brown, Dustin G., Ratovitski, Edward, Ryan, Elizabeth P., Corsini, Emanuela, Rojas, Emilio, Eun, Yi Moon, Laconi, Ezio, Marongiu, Fabio, Al-Mulla, Fahd, Chiaradonna, Ferdinando, Darroudi, Firouz, Martin, Francis L., Schooten, Frederik J. Van, Goldberg, Gary S., Wagemaker, Gerard, Nangami, Gladys N., Calaf, Gloria M., Williams, Graeme P., Wolf, Gregory T., Koppen, Gudrun, Brunborg, Gunnar, Lyerly, H. Kim, Krishnan, Harini, Ab. Hamid, Hasiah, Yasaei, Hemad, Sone, Hideko, Kondoh, Hiroshi, Salem, Hosni K., Hsue, Yin Hsu, Hyun, Ho Park, Koturbash, Igor, Miousse, Isabelle R., Scovassi, A. Ivana, Klaunig, James E., Vondrá ček, Jan, Raju, Jayadev, Roman, Jesse, Wise Sr., John Pierce, Whitfield, Jonathan R., Woodrick, Jordan, Christopher, Joseph A., Ochieng, Josiah, Martinez-Leal, Juan Fernando, Weisz, Judith, Kravchenko, Julia, Sun, Jun, Prudhomme, Kalan R., Narayanan, Kannan Badri, Cohen-Solal, Karine A., Moorwood, Kim, Gonzalez, Laetitia, Soucek, Laura, Jian, Le, D’Abronzo, Leandro S., Liang, Tzung Lin, Li, Lin, Gulliver, Linda, McCawley, Lisa J., Memeo, Lorenzo, Vermeulen, Louis, Leyns, Luc, Zhang, Luoping, Valverde, Mahara, Khatami, Mahin, Romano, Maria Fiammetta, Chapellier, Marion, Williams, Marc A., Wade, Mark, Manjili, Masoud H., Lleonart, Matilde E., Xia, Menghang, Gonzalez Guzma, Michael J., Karamouzis, Michalis V., Kirsch Volders, Micheline, Vaccari, Monica, Kuemmerle, Nancy B., Singh, Neetu, Cruickshanks, Nichola, Kleinstreuer, Nicole, Larebeke, Nik van, Ahmed, Nuzhat, Ogunkua, Olugbemiga, Krishnakumar, P. K., Vadgama, Pankaj, Marignani, Paola A., Ghosh, Paramita M., Ostrosky Wegman, Patricia, Thompson, Patricia A., Dent, Paul, Darbre, Philippa, Heneberg, Petr, Po, Sing Leung, Nangia Makker, Pratima, Cheng, Qiang, Robey, R. Brooks, Al-Temaimi, Rabeah, Roy, Rabindra, Andrade Vieira, Rafaela, Sinha, Ranjeet K., Mehta, Rekha, Vento, Renza, Di Fiore, Riccardo, Ponce Cusi, Richard, Dornetshuber Fleiss, Rita, Nahta, Rita, Castellino, Robert C., Palorini, Roberta, Abd Hamid @ Abdul Razak, Roslida, Langie, Sabine A. S., Eltom, Sakina E., Brooks, Samira A., Ryeom, Sandra, Wise, Sandra S., Bay, Sarah N., Harris, Shelley A., Papagerakis, Silvana, Romano, Simona, Pavanello, Sofia, Eriksson, Staffan, Forte, Stefano, Casey, Stephanie C., Luanpitpong, Sudjit, Tae, Jin Lee, Otsuki, Takemi, Chen, Tao, Massfelder, Thierry, Sanderson, Thomas, Guarnieri, Tiziana, Hultman, Tove, Dormoy, Valérian, Odero Mara, Valerie, Sabbisetti, Venkata, Maguer Satta, Veronique, Rathmell, W. Kimryn, Engström, Wilhelm, Decker, William K., Bisson, William H., Rojanasakul, Yon, Luqmani, Yunus, Chen, Zhenbang, Hu, Zhiwei
Published 2015