| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luis Jorge Enrique Rivero Cabrejos, Tayana Conte |
How Novice Software Engineers Apply User Interface Design Patterns: An Empirical Study.  |
SEKE  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Stephens |
Innovation in Every Part of Our Business. |
SEKE |
2016 |
DBLP BibTeX RDF |
|
| 1 | Solomon Mensah, Jacky Keung, Kwabena Ebo Bennin, Michael Franklin Bosu |
Multi-Objective Optimization for Software Testing Effort Estimation. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiabin Zheng, Yan Liu, Jin Lin |
Exploring DevOps for Data Analytical System with Essential Demands Elicitation. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Yu, Jin Liu 0016, Mandi Fu, Chuanxiang Ma, Guoping Nie |
A Multi-Source TrAdaBoost Approach for Cross-Company Defect Prediction. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamdy Ibrahim, Behrouz H. Far |
Clustering and Artificial Neural Network Ensembles Based Effort Estimation. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jadson Santos, Uirá Kulesza |
Quantifying and Assessing the Merge of Cloned Web-Based System: An Exploratory Study. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Weizhi Huang, Wenkai Mo, Beijun Shen, Yu Yang, Ning Li |
CPDScorer: Modeling and Evaluating Developer Programming Ability across Software Communities. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiejian Luo, Libo Zhang 0001, Lin Yang, Xin Chen |
TACE: A Toolkit for Analyzing Concept Evolution in Computing Curricula. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jislane Silva, Danilo Siqueira Ramos, Michel S. Soares |
On Criteria to Choose a Content Management System: A Technology Acceptance Model Approach. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhan Zhang, Haiping Xu |
SLTM: A Sentence Level Topic Model for Analysis of Online Reviews. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary Frances Moore, Sergiy Vilkomir |
Practical Combinatorial Testing Approaches: A Case Study of a University Portal Application. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuesong Jia, Danni Ren, Yitao Yang, Huakang Li, Guozi Sun |
DFIPS: Toward Distributed Flexible Intrusion Prevention System in Software Defined Network. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaoula Sayeb, Oualid Khayati, Naoufel Kraeim |
Component-based process for modeling language evaluation. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Guangli Zhu, Xiaojun Tang, Shunxiang Zhang, Zheng Xu 0001 |
Building the Multi-layer Theory of Association Semantic based on the Power-law Distribution of Linking Keywords. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Huu Nghia Nguyen, Fatiha Zaïdi, Ana R. Cavalli |
Effectively Testing of Timed Composite Systems using Test Case Prioritization. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Dong, Kai Chen, Jiangang Zhu, Beijun Shen |
Learning to Discover Subsumptions between Software Engineering Concepts in Wikipedia. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário Melo, Gibeon Aquino |
An Adaptable Approach for Indoor Location. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinlong Huang, Qingsheng Zhu, Lijun Yang, Dongdong Chen |
QCC: A novel cluster algorithm based on Quasi-Cluster Centers. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Josimar de S. Lima, Joyce M. S. França, Jislane S. S. de Menezes, Adicinéia Oliveira, Michel S. Soares |
Layered Implementation View of a SOA Based Electronic Health Record. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Tao, Tao Liu, Wei Yu |
Building Ontology for Different Emotional Contexts and Multilingual Environment in Opinion Mining. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingrid Costa, Williamson Silva, Adriana Lopes, Luis Rivero 0001, Bruno Gadelha, Elaine Harada T. de Oliveira, Tayana Conte |
An Empirical Study to Evaluate the Feasibility of a UX and Usability Inspection Technique for Mobile Applications. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhongjie Wang, Dewayne E. Perry, Xiaofei Xu |
Distribution and Continuity of Developers' Contributions in OSS Projects: A Case Study. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pankaj Kamthan, Nazlie Shahmir |
A Characterization of Negative User Stories. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Iaakov Exman |
Linear Software Models: An Algebraic Theory of Software Composition. |
SEKE |
2016 |
DBLP BibTeX RDF |
|
| 1 | Xianlin Zhou, Yong Ding 0005, Zhao Wang, Xiumin Li, Jun Ye, Zheng Xu 0001 |
Secure Outsourcing Algorithm of Polynomials in Cloud Computing. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoan You, Yutao Ma |
A Ranking-Oriented Approach to Cross-Project Software Defect Prediction: An Empirical Study. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuanqi Tao, Jerry Gao 0002 |
On Building Test Automation System for Mobile Applications Using GUI Ripping. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Raissa Matias da Silva, Mirko Barbosa Perkusich, Renata M. Saraiva, Arthur Silva Freire, Hyggo O. Almeida, Angelo Perkusich |
Improving the Applicability of Bayesian Networks through Production Rules. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan G. Contessoto, Laís A. Sant'Ana, Rogéria Cristiane Gratão de Souza, Carlos Roberto Valêncio, Geraldo F. D. Zafalon, Anderson R. Amorim, Antonio Marcos Neves Esteca |
Improving risk identification process in project management. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alma Orucevic-Alagic, Martin Höst |
A Two Phase Case Study on Implementation of Open Source Development Practices within a Company Setting. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Popolin de Araújo Cunha, Luciana Aparecida Martinez Zaina |
MyBatRecommender: Automated optimization of energy consumption for Android smartphones in software layer. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Da Costa Santos, Lenardo Chaves e Silva, Ana Luisa Medeiros, Hyggo Oliveira de Almeida, Angelo Perkusich |
Improving Accuracy of Patient Synthetic Data for Testing Medical Cyber-Physical Systems. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Briot, Nathalia Moraes do Nascimento, Carlos José Pereira de Lucena |
A Multi-Agent Architecture for Quantified Fruits: Design and Experience. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Adel Ferdjoukh, Eric Bourreau, Annie Chateau, Clémentine Nebut |
A Model-Driven Approach to Generate Relevant and Realistic Datasets. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luiz Sérgio Plácido da Silva, Renata T. Moreira, Alexandre Marcos Lins de Vasconcelos, Maurício Ronny Souza, Suzana Cândido de Barros Sampaio |
A qualitative analysis of the adhrence between the Information Tecnology Solution Aquisition Guide, for Brazilian Federal Public Administration and, the CMMI models. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sampo Suonsyrjä, Kari Systä, Tommi Mikkonen, Henri Terho |
Collecting Usage Data for Software Development: Selection Framework for Technological Approaches. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tapalina Bhattasali, Nabendu Chaki, Rituparna Chaki, Khalid Saeed 0001 |
Context and Trust Aware Workflow Oriented Access Framework. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Peterson Oliveira Santos, André C. A. Nascimento, Juli Kelle Góis Costa, Methanias Colaço Júnior, Wenderson Campos Pereira |
Experimentation in the Industry for Automation of Unit Testing in a Business Intelligence Environment. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Junhua Ding, Dongmei Zhang 0006 |
A Machine Learning Approach for Developing Test Oracles for Testing Scientific Software. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lan Lin, Yufeng Xue |
An Algorithm for Forward Reduction in Sequence-Based Software Specification. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamzeh Eyal Salman, Abdelhak Seriai |
Toward Recovering Component-based Software Product Line Architecture from Object-Oriented Product Variants. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe Barbosa Araújo Ramos, Anne Lorayne, Antonio Alexandre Moura Costa, Reudismam Rolim de Sousa, Hyggo O. Almeida, Angelo Perkusich |
Combining Smartphone and Smartwatch Sensor Data in Activity Recognition Approaches: an Experimental Evaluation. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor H. S. C. Pinto, Helder J. F. Luz, Ricardo R. Oliveira, Paulo S. L. Souza, Simone R. S. Souza |
A Systematic Mapping Study on the Multi-tenant Architecture of SaaS Systems. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Quan Chau Dong Do, Guowei Yang 0001, Meiru Che, Darren Hui, Jefferson Ridgeway |
Redroid: A Regression Test Selection Approach for Android Applications. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Wu, Junjie Wang 0001, Qing Wang 0001, Lin Shi 0006, Feng Yuan |
Stage-oriented Analysis on Factors Impacting Bug Fixing Time. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudio Magalhães, Alexandre Mota 0001, Eliot Maia |
Automatically Finding Hidden Industrial Criteria used in Test Selection. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mushtaq Raza, João Pascoal Faria, Rafael Salazar |
Empirical Evaluation of the ProcessPAIR Tool for Automated Performance Analysis. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Zhou, Yan Liu, Mengjia Zhao, Xin Lou |
Criminal Network Analysis with Interactive Strategies: A Proof of Concept Study using Mobile Call Logs. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengjia Zhao, Yan Liu, Peng Zhou |
Towards a Systematic Approach to Graph Data Modeling: Scenario-based Design and Experiences. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Saumil Dharia, Vijesh Jain, Jvalant Patel, Jainikkumar Vora, Shaurya Chawla, Magdalini Eirinaki |
PRO-Fit: A personalized fitness assistant framework. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tasira Al Balushi, Saqib Ali |
Exploring the Dimensions of Electronic Government Service Quality. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Liqiong Chen, Guisheng Fan, Yunxiang Liu |
Modeling and analyzing cost-aware fault tolerant strategy for cloud application. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Chen, Xiang Dong, Jiangang Zhu, Beijun Shen |
Building a Domain Knowledge Base from Wikipedia: a Semi-supervised Approach. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Heim, Bernhard Rumpe, Andreas Wortmann 0001 |
Extending Architecture Description Languages With Exchangeable Component Behavior Languages. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Martins, Patricia Pesado, Ramón García-Martínez |
Information Mining Projects Management Process. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruozi Huang, Yonghao Long, Xiangping Chen |
Automaticly Generating Web Page From A Mockup. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Queiroz Gonçalves, Christiane Gresse von Wangenheim |
How Instructional Feedback Has Been Employed in Instructional Units for Teaching Software Project Management Tools: A Systematic Literature Review. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Adam, Alain Abran |
The Software Architecture Mapping Framework for Managing Architectural Knowledge. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Li |
Knowledge Flow-based Semantic Organization of Resources about Foreign Language Learning. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Kumar Mondal, Mohammad Masudur Rahman 0001, Chanchal K. Roy |
Embedded Emotion-based Classification of Stack Overflow Questions Towards the Question Quality Prediction. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjing He, Jun Lin 0006, Xinjia Yu, Zhiqi Shen 0001, Chunyan Miao |
An FCM-based Personalized Affective Model for Agile Software Development. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wided Ghardallou, Nafi Diallo, Ali Mili 0001 |
Software Evolution by Correctness Enhancement. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong He, Yujian Fu |
Modeling and Analyzing Security Patterns Using High Level Petri Nets. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Veera Tadikonda, Daniela Rosca |
Informed and Timely Business Decisions - A Data-driven Approach. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Renan Willamy, João Nunes, Mirko Barbosa Perkusich, Arthur Silva Freire, Renata M. Saraiva, Hyggo O. Almeida, Angelo Perkusich |
A Method to Build Bayesian Networks based on Artifacts and Metrics to Assess Agile Projects. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kawal Jeet, Renu Dhir |
Software Clustering using Hybrid Multi-Objective Black Hole Algorithm. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ildevana Poltronieri Rodrigues, Ana Paula Terra Bacelo, Milene Selbach Silveira, Márcia de Borba Campos, Elder Macedo Rodrigues |
Evaluating the Representation of User Interface Elements in Feature Models: an Empirical Study. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marum Simão Filho, Plácido Rogério Pinheiro, Adriano Albuquerque |
Applying Verbal Decision Analysis to Task Allocation in Distributed Development of Software. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank José Affonso, Gustavo Leite, Elisa Yumi Nakagawa |
DmS-Modeler: A Tool for Modeling Decision-making Systems for Self-adaptive Software Domain. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuanqi Tao, Jerry Gao 0002 |
Quality Assurance for Big Data Application - Issuses, Challenges, and Needs. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghavendra Reddy Yeddula, Sushant Vale, Sreedhar Reddy, Chetan P. Malhotra, Gautham B. P., Pramod Zagade |
A Knowledge Modeling Framework for Computational Materials Engineering. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Emna Mezghani, Marcos Da Silveira, Cédric Pruski, Ernesto Exposito, Khalil Drira |
An Ontology-driven Adaptive System for the Patient Treatment Management. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Vaibhav K. Anu, Gursimran S. Walia, Wenhua Hu, Jeffrey C. Carver, Gary L. Bradshaw |
Effectiveness of Human Error Taxonomy during Requirements Inspection: An Empirical Investigation. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengpeng Lin, Ruxin Dai, Ran An |
Managing forest transportation planning using ant colony optimization method. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Everton Agilar, Rodrigo Almeida, Edna Dias Canedo |
A Systematic Mapping Study on Legacy System Modernization. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerry Gou (eds.) |
The 28th International Conference on Software Engineering and Knowledge Engineering, SEKE 2016, Redwood City, San Francisco Bay, USA, July 1-3, 2016. |
SEKE |
2016 |
DBLP BibTeX RDF |
|
| 1 | Daoyuan Li, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon |
Time Series Classification with Discrete Wavelet Transformed Data: Insights from an Empirical Study. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ye Hu, Guangqun Chen, Kun Gao |
Deep Data Anaylizing Method Based on Scale Space Theory. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenxi Song, Tao Wang 0006, Gang Yin, Xunhui Zhang, Cheng Yang 0004 |
A Novel Open Source Software Ecosystem: From a Graphic Point of View and Its Application. |
SEKE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuelle Cavalcante, Luis Rivero 0001, Tayana Conte |
MAX: A Method for Evaluating the Post-use User eXperience through Cards and a Board. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Ding, Peng Liang 0001, Antony Tang, Hans van Vliet |
Causes of Architecture Changes: An Empirical Study through the Communication in OSS Mailing Lists. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Meiru Che, Dewayne E. Perry |
An Evaluation Study of Architectural Design Decision Paradigms in Global Software Development. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Lan Lin, Jia He, Yufeng Xue |
An Automated Testing Framework for Statistical Testing of GUI Applications. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Queiroz Gonçalves, Christiane Gresse von Wangenheim |
How to Teach the Usage of Project Management Tools in Computer Courses: A Systematic Literature Review. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Theresia Ratih Dewi Saputri, Seok-Won Lee |
Are We Living in a Happy Country: An Analysis of National Happiness from Machine Learning Perspective. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Anurag Goswami, Gursimran S. Walia, Abhinav Singh |
Using Learning Styles of Software Professionals to Improve their Inspection Team Performance. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cody Kinneer, Gregory M. Kapfhammer, Chris J. Wright, Phil McMinn |
ExpOse: Inferring Worst-case Time Complexity by Automatic Empirical Study. |
SEKE |
2015 |
DBLP BibTeX RDF |
|
| 1 | Kwangsik Song, Ah-Rim Han, Sehun Jeong, Sung Deok Cha |
Generating various contexts from permissions for testing Android applications. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Diógenes R. F. Oliveira, Byron L. D. Bezerra, Elyda L. S. X. Freitas, Alexandre M. A. Maciel |
Adoption of Software Product Line Development to an Environment of Voice User Interface. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Borisenko, Ivan Kholod, Andrey Shorov |
Modeling Framework for Developing and Testing Network Security Techniques against DDoS Attacks. |
SEKE |
2015 |
DBLP BibTeX RDF |
|
| 1 | Guisheng Fan, Huiqun Yu, Liqiong Chen |
Modeling and Analyzing Adaptive Energy Consumption for Service Composition. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marx L. Viana, Paulo S. C. Alencar, Everton T. Guimarães, Francisco J. P. Cunha, Donald D. Cowan, Carlos José Pereira de Lucena |
JSAN: A Framework to Implement Normative Agents. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cody Kinneer, Gregory M. Kapfhammer, Phil McMinn, Chris J. Wright |
Automatically Evaluating the Efficiency of Search-Based Test Data Generation for Relational Database Schemas. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Óscar Mortágua Pereira, Diogo Domingues Regateiro, Rui L. Aguiar |
Secure, Dynamic and Distributed Access Control Stack for Database Applications. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria A. S. Brito, Marcos Santos, Paulo S. L. Souza, Simone R. S. Souza |
Integration testing criteria for mobile robotic systems. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Medeiros Eler, Vinicius H. S. Durelli, André Takeshi Endo |
Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Su Liu, Xudong He |
PIPE+Verifier - A Tool for Analyzing High Level Petri Nets. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shi-Kuo Chang |
A Slow Intelligence System Test Bed Enhanced with Super-Components. |
SEKE |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license