Search results for "AST"

Hits ?▲	Authors	Title	Venue	Year	Link
38	David Paterson, Gregory M. Kapfhammer, Gordon Fraser 0001, Phil McMinn	Using controlled numbers of real faults and mutants to empirically evaluate coverage-based test case prioritization.	AST@ICSE	2018	DBLP DOI BibTeX RDF
38	Christof J. Budnik, Marco Gario, Georgi A. Markov, Zhu Wang 0009	Guided test case generation through AI enabled output space exploration.	AST@ICSE	2018	DBLP DOI BibTeX RDF
38		12th IEEE/ACM International Workshop on Automation of Software Testing, AST@ICSE 2017, Buenos Aires, Argentina, May 20-21, 2017	AST@ICSE	2017	DBLP BibTeX RDF
38	Nikolas Havrikov, Alessio Gambi, Andreas Zeller, Andrea Arcuri, Juan Pablo Galeotti	Generating Unit Tests with Structured System Interactions.	AST@ICSE	2017	DBLP DOI BibTeX RDF
38	Renáta Hodován, Ákos Kiss 0001, Tibor Gyimóthy	Tree Preprocessing and Test Outcome Caching for Efficient Hierarchical Delta Debugging.	AST@ICSE	2017	DBLP DOI BibTeX RDF
38	Mustafa Al-Hajjaji, Jacob Krüger, Sandro Schulze, Thomas Leich, Gunter Saake	Efficient Product-Line Testing Using Cluster-Based Product Prioritization.	AST@ICSE	2017	DBLP DOI BibTeX RDF
38	Benedikt Eberhardinger, Axel Habermaier, Wolfgang Reif	Toward Adaptive, Self-Aware Test Automation.	AST@ICSE	2017	DBLP DOI BibTeX RDF
38	Gordon Fraser 0001	Gamification of Software Testing.	AST@ICSE	2017	DBLP DOI BibTeX RDF
38	Charisee Chiw, Gordon L. Kindlmann, John H. Reppy	DATm: Diderot's Automated Testing Model.	AST@ICSE	2017	DBLP DOI BibTeX RDF
38	Chang-Ai Sun, Cuiyang Fan, Zhen Wang, Huai Liu	d(mu)Reg: A Path-Aware Mutation Analysis Guided Approach to Regression Testing.	AST@ICSE	2017	DBLP DOI BibTeX RDF
38	Fernando Paulovsky, Esteban Pavese, Diego Garbervetsky	High-Coverage Testing of Navigation Models in Android Applications.	AST@ICSE	2017	DBLP DOI BibTeX RDF
38	Tao Xie 0001	Transferring Software Testing Tools to Practice.	AST@ICSE	2017	DBLP DOI BibTeX RDF
38	Indy P. S. C. Silva, Everton L. G. Alves, Wilkerson de L. Andrade	Analyzing Automatic Test Generation Tools for Refactoring Validation.	AST@ICSE	2017	DBLP DOI BibTeX RDF
38	Olivier Liechti, Jacques Pasquier, Rodney Reis	Supporting Agile Teams with a Test Analytics Platform: A Case Study.	AST@ICSE	2017	DBLP DOI BibTeX RDF
38	Christof J. Budnik, Gordon Fraser 0001, Francesca Lonetti (eds.)	Proceedings of the 11th International Workshop on Automation of Software Test, AST@ICSE 2016, Austin, Texas, USA, May 14-15, 2016	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	Thomas Durieux, Martin Monperrus	DynaMoth: dynamic code synthesis for automatic program repair.	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco	Model extraction and test generation from JUnit test suites.	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	Breno Miranda, Antonia Bertolino	Does code coverage provide a good stopping rule for operational profile based testing?	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	Joseph Chan Joo Keng, Lingxiao Jiang, Tan Kiat Wee, Rajesh Krishna Balan	Graph-aided directed testing of Android applications for checking runtime privacy behaviours.	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	Mahmoud Mohammadi, Bill Chu, Heather Richter Lipford, Emerson R. Murphy-Hill	Automatic web security unit testing: XSS vulnerability detection.	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	Hermann Felbinger, Franz Wotawa, Mihai Nica	Empirical study of correlation between mutation score and model inference based test suite adequacy assessment.	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis, Jackie Launay, Jean Baptiste Gning	Automated test generation for synchronous controllers.	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	Daniel Ratiu, Markus Voelter	Automated testing of DSL implementations: experiences from building mbeddr.	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	Yongjian Hu, Iulian Neamtiu	Fuzzy and cross-app replay for smartphone apps.	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	John Hughes 0001, Ulf Norell, Nicholas Smallbone, Thomas Arts	Find more bugs with QuickCheck!	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	Amanda Schwartz, Michael Hetzel	The impact of fault type on the relationship between code coverage and fault detection.	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	Phil McMinn, Gregory M. Kapfhammer, Chris J. Wright	Virtual mutation analysis of relational database schemas.	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	Hailong Zhang 0006, Haowei Wu, Atanas Rountev	Automated test generation for detection of leaks in Android applications.	AST@ICSE	2016	DBLP DOI BibTeX RDF
38	Hong Zhu 0002, Dan Hao 0001, Leonardo Mariani, Rajesh Subramanyan (eds.)	10th IEEE/ACM International Workshop on Automation of Software Test, AST 2015, Florence, Italy, May 23-24, 2015	AST@ICSE	2015	DBLP BibTeX RDF
38	Vincenzo Musco, Martin Monperrus, Philippe Preux	An Experimental Protocol for Analyzing the Accuracy of Software Error Impact Analysis.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Sun Ding, Hee Beng Kuan Tan, Lwin Khin Shar	Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia	Automatic Test-Pattern Generation for Grey-Box Programs.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Lei Ma 0003, Cheng Zhang, Bing Yu, Hiroyuki Sato	An Empirical Study on Effects of Code Visibility on Code Coverage of Software Testing.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Bindu Madhavi Padmanabhuni, Hee Beng Kuan Tan	Light-Weight Rule-Based Test Case Generation for Detecting Buffer Overflow Vulnerabilities.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Zhi-Wei He, Cheng-Gang Bai	GUI Test Case Prioritization by State-Coverage Criterion.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Dessislava Petrova-Antonova, Sylvia Ilieva, Denitsa Manova	TASSA: Testing Framework for Web Service Orchestrations.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Fang-Hsiang Su, Jonathan Bell 0001, Christian Murphy, Gail E. Kaiser	Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Korosh Koochekian Sabor, Stuart Thiel	Adaptive Random Testing by Static Partitioning.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Alexander Wert, Henning Schulz, Christoph Heger	AIM: Adaptable Instrumentation and Monitoring for Automated Software Performance Analysis.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Mauro Pezzè	Towards Cost-Effective Oracles.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Rafig Almaghairbe, Marc Roper	Building Test Oracles by Clustering Failures.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Stefan Winter 0001, Thorsten Piper, Oliver Schwahn, Roberto Natella, Neeraj Suri, Domenico Cotroneo	GRINDER: On Reusability of Fault Injection Tools.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Andrea Stocco 0001, Maurizio Leotta, Filippo Ricca, Paolo Tonella	Why Creating Web Page Objects Manually If It Can Be Done Automatically?	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Tsong Yueh Chen	Metamorphic Testing: A Simple Method for Alleviating the Test Oracle Problem.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Koushik Sen, Haruto Tanno, Xiaojing Zhang, Takashi Hoshino 0001	GuideSE: Annotations for Guiding Concolic Testing.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Jochen Schimmel, Korbinian Molitorisz, Ali Jannesari, Walter F. Tichy	Combining Unit Tests for Data Race Detection.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Santo Carino, James H. Andrews	Evaluating the Effect of Test Case Length on GUI Test Suite Performance.	AST@ICSE	2015	DBLP DOI BibTeX RDF
38	Tai-Hoon Kim, Hojjat Adeli (eds.)	Advances in Computer Science and Information Technology, AST/UCMA/ISA/ACN 2010 Conferences, Miyazaki, Japan, June 23-25, 2010. Joint Proceedings	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Danilo Valeros Bernardo, Doan B. Hoang	Security Analysis of the Proposed Practical Security Mechanisms for High Speed Data Transfer Protocol.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Moussa Ouedraogo, Haralambos Mouratidis, Eric Dubois 0001, Djamel Khadraoui	Information Systems Security Criticality and Assurance Evaluation.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Yonghui Wu, Yuxin Ding, Xiaolong Wang 0001, Jun Xu 0007	Topic Detection by Topic Model Induced Distance Using Biased Initiation.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Bo Li 0005, Jianxin Li 0002, Tianyu Wo, Xudong Wu, Junaid Arshad, Wantao Liu	A Fuzzy-Based Dynamic Provision Approach for Virtualized Network Intrusion Detection Systems.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Md. Amiruzzaman, Hassan Peyravi, Mohammad Abdullah-Al-Wadud, Yoojin Chung	Concurrent Covert Communication Channels.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Eunjung Lee, Kyong-Jin Seo	Multiple Asynchronous Requests on a Client-Based Mashup Page.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Phalguni Gupta, Dakshina Ranjan Kisku, Jamuna Kanta Sing, Massimo Tistarelli	Maximized Posteriori Attributes Selection from Facial Salient Landmarks for Face Recognition.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Soumya Banerjee 0002, Hameed Al-Qaheri, El-Sayed A. El-Dahshan, Aboul Ella Hassanien	Rough Set Approach in Ultrasound Biomicroscopy Glaucoma Analysis.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Debabrata Dutta, Sanjoy Kumar Saha 0001, Bhabatosh Chanda	Video Copy Detection: Sequence Matching Using Hypothesis Test.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Iftikhar Ahmad 0002, Azween B. Abdullah, Abdullah Sharaf Alghamdi	Towards the Designing of a Robust Intrusion Detection System through an Optimized Advancement of Neural Networks.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Zhiqiang Zhou, Lin Cong, Guohan Lu, Beixing Deng, Xing Li 0001	HATS: High Accuracy Timestamping System Based on NetFPGA.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Bo Zhang 0020, Qiuliang Xu	An ID-Based Anonymous Signcryption Scheme for Multiple Receivers Secure in the Standard Model.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Hao Xu 0012	Managing Ubiquitous Scientific Knowledge on Semantic Web.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Muhammad Khurram Khan, Khaled Alghathbar	Security Analysis of 'Two-Factor User Authentication in Wireless Sensor Networks'.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Nadir Shah, Depei Qian	A New Cross-Layer Unstructured P2P File Sharing Protocol over Mobile Ad Hoc Network.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Nurzaini Mohamad Zain, Ganthan Narayana Samy, Rabiah Ahmad, Zuraini Ismail, Azizah Bt Abdul Manaf	Fuzzy Based Threat Analysis in Total Hospital Information System.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Yingqi Lu, Cheng Lu, Miao Qi, Shuyan Wang	A Supervised Locality Preserving Projections Based Local Matching Algorithm for Face Recognition.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Osamu Mizuno, Hideaki Hata	An Integrated Approach to Detect Fault-Prone Modules Using Complexity and Text Feature Metrics.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Pavan Kumar Pandey, G. P. Biswas	Design and Implementation of Binary Tree Based Proactive Routing Protocols for Large MANETS.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Woonsuk Suh, Boo-Mann Choung, Eunseok Lee 0001	A Fault Tolerant Architecture for Transportation Information Services of E-Government.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Junghoon Lee, Cheolmin Kim	A Roadside Unit Placement Scheme for Vehicular Telematics Networks.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Yingqi Lu, Cheng Lu, Miao Qi	An Effective Video Steganography Method for Biometric Identification.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Junghoon Lee, Gyung-Leen Park	Design of an Efficient Message Collecting Scheme for the Slot-Based Wireless Mesh Network.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Kevin Bouchard, Amir Ajroud, Bruno Bouchard 0001, Abdenour Bouzouane	SIMACT: A 3D Open Source Smart Home Simulator for Activity Recognition.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Zhian Zheng, Yoshitomo Kaneda, Dang Hai Pham, Tomohisa Wada	Modified Structures of Viterbi Alogrithm for Forced-State Method in Concatenated Coding System of ISDB-T.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Dakshina Ranjan Kisku, Phalguni Gupta, Jamuna Kanta Sing	Feature Level Fusion of Face and Palmprint Biometrics by Isomorphic Graph-Based Improved K-Medoids Partitioning.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Pierre-Louis Cayrel, Mohammed Meziani	Post-quantum Cryptography: Code-Based Signatures.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Zailani Abdullah, Tutut Herawan, Mustafa Mat Deris	Mining Significant Least Association Rules Using Fast SLP-Growth Algorithm.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Neminath Hubballi, S. Roopa, Ritesh Ratti, Ferdous A. Barbhuiya, Santosh Biswas, Arijit Sur, Sukumar Nandi, Vivek Ramachandran	An Active Intrusion Detection System for LAN Specific Attacks.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Xiaohong Yang, Qingcai Chen, Xiaolong Wang 0001	A Novel Approach Based on Fault Tolerance and Recursive Segmentation to Query by Humming.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Ho-chul Lee, Jeong-Hwan Hwang, Meong-hun Lee, Haeng-Kon Kim, Hyun Yoe	A Power Control Scheme for an Energy-Efficient MAC Protocol.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Zhian Zheng, Dang Hai Pham, Tomohisa Wada	Applications of Adaptive Belief Propagation Decoding for Long Reed-Solomon Codes.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Yongyun Cho, Hyun Yoe, Haeng-Kon Kim	CAS4UA: A Context-Aware Service System Based on Workflow Model for Ubiquitous Agriculture.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Oladayo Salami, Antoine B. Bagula, H. Anthony Chan	A Model for Interference on Links in Inter-working Multi-hop Wireless Networks.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Byeongchang Kim 0001	Chinese Prosody Generation Based on C-ToBI Representation for Text-To-Speech.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Huo-Chong Ling, Raphael C.-W. Phan, Swee-Huay Heng	Analysis on the Improved SVD-Based Watermarking Scheme.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Hao Xu 0012	A Pattern-Based Representation Approach for Online Discourses.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Mihye Kim, Kwan-Hee Yoo, Chan Park, Jae-Soo Yoo, Hoseung Byun, Wanyoung Cho, Jeeheon Ryu, Namgyun Kim	An XML-Based Digital Textbook and Its Educational Effectiveness.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Rujiang Bai, Xiaoyue Wang 0003, Junhua Liao	Extract Semantic Information from WordNet to Improve Text Classification Performance.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Husnain Naqvi, Stevan M. Berber, Zoran A. Salcic	Energy Efficiency of Collaborative Communication with Imperfect Frequency Synchronization in Wireless Sensor Networks.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Mihye Kim, Kwan-Hee Yoo, Chan Park, Jae-Soo Yoo	Development of a Digital Textbook Standard Format Based on XML.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Rujiang Bai, Xiaoyue Wang 0003, Junhua Liao	Using an Integrated Ontology Database to Categorize Web Pages.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Praveen Ranjan Srivastava, Tai-Hoon Kim	Agent Based Approach to Regression Testing.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Hao Xu 0012	A Semantic Pattern Approach to Managing Scientific Publications.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Seong-Yong Choi, Jinsu Kim, Seung-Jin Han, Jun Hyeog Choi, Kee-Wook Rim, Jung-Hyun Lee	Dynamic Routing for Mitigating the Energy Hole Based on Heuristic Mobile Sink in Wireless Sensor Networks.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Mahdi Khosravy, Mohammad Reza Alsharif, Katsumi Yamashita	An Optimum ICA Based Multiuser Data Separation for Short Message Service.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Bo Zhou, Hiroyuki Okamura, Tadashi Dohi	Markov Chain Monte Carlo Random Testing.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Sejin Park, Yong Kim, Inchul Song, Kichul Han, Jookwang Kim, Kyungho Kim	High Performance MAC Architecture for 3GPP Modem.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Lianbo Gao, Jianming Shi	A Numerical Study on B&B Algorithms for Solving Sum-Of-Ratios Problem.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Mitsuhiro Kimura, Takaji Fujiwara	A Bootstrap Software Reliability Assessment Method to Squeeze Out Remaining Faults.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Debnath Bhattacharyya, Arup Kumar Bhaumik, Minkyu Choi, Tai-Hoon Kim	Directed Graph Pattern Synthesis in LSB Technique on Video Steganography.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF
38	Bibhas Chandra Dhara, Sanjoy Kumar Saha 0001, Bhabatosh Chanda	A Video Coding Technique Using Octagonal Motion Search and BTC-PF Method for Fast Reconstruction.	AST/UCMA/ISA/ACN	2010	DBLP DOI BibTeX RDF